Recognizing the Real Line

DOI10.2307/1999748MaRDI QIDQ3924183zbMATH OpenOpenAlexFDO

Authors W. Charles Holland, Yuri Gurevich

Publication date 1981

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

zbMATH Keywords

chain of rational numbersgroup of automorphisms of the real linehomogeneous chainslattice-ordered group

Mathematics Subject Classification ID

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

Cites work

• Elementary definability of symmetry groups
• First order theory of permutation groups
• Groups of homeomorphisms with manageable automorphism groups
• scientific article; zbMATH DE number 3547354 (Why is no real title available?)
• On elementary types of symmetric groups
• The lattice-ordered group of automorphisms of an ordered set
• Transitive lattice-ordered permutation groups

Cited in

(9)

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

This page was built for publication: Recognizing the Real Line

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3924183)