Recognizing the Real Line (Q3924183): Difference between revisions

@@ Property / cites work @@
+Q4121947
@@ Property / cites work: Q4121947 / rank @@
+Normal rank
@@ Property / cites work @@
+The lattice-ordered group of automorphisms of an ordered set
+Normal rank
@@ Property / cites work @@
+Transitive lattice-ordered permutation groups
@@ Property / cites work: Transitive lattice-ordered permutation groups / rank @@
+Normal rank
@@ Property / cites work @@
+Groups of homeomorphisms with manageable automorphism groups
+Normal rank
@@ Property / cites work @@
+On elementary types of symmetric groups
@@ Property / cites work: On elementary types of symmetric groups / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary definability of symmetry groups
@@ Property / cites work: Elementary definability of symmetry groups / rank @@
+Normal rank
@@ Property / cites work @@
+First order theory of permutation groups
@@ Property / cites work: First order theory of permutation groups / rank @@
+Normal rank