Algebra i logika, Tome 6 (1967) no. 1, pp. 45-62
Citer cet article
Yu. Š. Gurevich. The hereditarily undecidability of one class of lattice-ordered Abelian groups. Algebra i logika, Tome 6 (1967) no. 1, pp. 45-62. http://geodesic.mathdoc.fr/item/AL_1967_6_1_a5/
@article{AL_1967_6_1_a5,
author = {Yu. \v{S}. Gurevich},
title = {The hereditarily undecidability of one class of lattice-ordered {Abelian} groups},
journal = {Algebra i logika},
pages = {45--62},
year = {1967},
volume = {6},
number = {1},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1967_6_1_a5/}
}
TY - JOUR
AU - Yu. Š. Gurevich
TI - The hereditarily undecidability of one class of lattice-ordered Abelian groups
JO - Algebra i logika
PY - 1967
SP - 45
EP - 62
VL - 6
IS - 1
UR - http://geodesic.mathdoc.fr/item/AL_1967_6_1_a5/
LA - ru
ID - AL_1967_6_1_a5
ER -
%0 Journal Article
%A Yu. Š. Gurevich
%T The hereditarily undecidability of one class of lattice-ordered Abelian groups
%J Algebra i logika
%D 1967
%P 45-62
%V 6
%N 1
%U http://geodesic.mathdoc.fr/item/AL_1967_6_1_a5/
%G ru
%F AL_1967_6_1_a5
Let $G$ be an Abelian $\ell$-group. We denote through $G$ the lattice of all $\hat g$ with $g\in G$ (see [2]). Let $L$ be the class of all such Abelian $\ell$-group $G$ so that $G$ is divisible and Archimedean and $\hat G$ is atomic Boolean algebra. \underline{THEOREM 1.} (Elementary) theory of $L$ is hereditarily undecidable.
