Geodesic
Lattice of Definability in the Order of Rational Numbers
Matematičeskie zametki, Tome 108 (2020) no. 1, pp. 102-118

Voir la notice de l'article provenant de la source Math-Net.Ru

A lattice of definability subspaces in the order of rational numbers is described. It is proved that this lattice consists of five subspaces defined in the paper that are generated by the following relations: “equality,” “less,” “between,” “cycle,” and “linkage.” For each of the subspaces, its width (the minimum number of arguments of a generating relation) is found and a convenient description of the automorphism group is given. Although the structure of this lattice was known previously, the proof in the paper is of syntactic nature and avoids the use of a group-theoretical method.
Keywords: finitely generated space, lattice of definability subspaces, syntactic nature. 
@article{MZM_2020_108_1_a7,
     author = {An. A. Muchnik and A. L. Semenov},
     title = {Lattice of {Definability} in the {Order} of {Rational} {Numbers}},
     journal = {Matemati\v{c}eskie zametki},
     pages = {102--118},
     publisher = {mathdoc},
     volume = {108},
     number = {1},
     year = {2020},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_2020_108_1_a7/}
}
TY  - JOUR
AU  - An. A. Muchnik
AU  - A. L. Semenov
TI  - Lattice of Definability in the Order of Rational Numbers
JO  - Matematičeskie zametki
PY  - 2020
SP  - 102
EP  - 118
VL  - 108
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_2020_108_1_a7/
LA  - ru
ID  - MZM_2020_108_1_a7
ER  - 
%0 Journal Article
%A An. A. Muchnik
%A A. L. Semenov
%T Lattice of Definability in the Order of Rational Numbers
%J Matematičeskie zametki
%D 2020
%P 102-118
%V 108
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_2020_108_1_a7/
%G ru
%F MZM_2020_108_1_a7
An. A. Muchnik; A. L. Semenov. Lattice of Definability in the Order of Rational Numbers. Matematičeskie zametki, Tome 108 (2020) no. 1, pp. 102-118. http://geodesic.mathdoc.fr/item/MZM_2020_108_1_a7/