Recognizing the Real Line

DOI10.2307/1999748zbMath0471.03033OpenAlexW4234483667MaRDI QIDQ3924183

W. Charles Holland, Yuri Gurevich

Publication date: 1981

Full work available at URL: https://doi.org/10.2307/1999748

zbMATH Keywords

lattice-ordered grouphomogeneous chainschain of rational numbersgroup of automorphisms of the real line

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordered groups (06F15)

Related Items

Universality of the automorphism group of the real line ⋮ Normal subgroups and elementary theories of lattice-ordered groups ⋮ Infinite permutation groups. I: Products of conjugacy classes ⋮ Bi-Interpretable Groups and Lattices ⋮ Groups of Automorphisms of Totally Ordered Sets: Techniques, Model Theory and Applications to Decision Problems ⋮ Normal Subgroups of Doubly Transitive Automorphism Groups of Chains ⋮ Automorphism groups of totally ordered sets: A retrospective survey ⋮ W. Charles Holland, 75th birthday ⋮ Quelques remarques sur l'équivalence élémentaire entre groupes ou treillis d'automorphismes de chaines 2-homogènes

Cites Work

• Unnamed Item
• Elementary definability of symmetry groups
• First order theory of permutation groups
• Transitive lattice-ordered permutation groups
• On elementary types of symmetric groups
• The lattice-ordered group of automorphisms of an ordered set
• Groups of homeomorphisms with manageable automorphism groups