Fractional parts of dense additive subgroups of real numbers (Q1630856): Difference between revisions

@@ Property / cites work @@
+The logic of fractional parts of real numbers
@@ Property / cites work: The logic of fractional parts of real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219027
@@ Property / cites work: Q4219027 / rank @@
+Normal rank
@@ Property / cites work @@
+Totally ordered commutative semigroups
@@ Property / cites work: Totally ordered commutative semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Strong theories of ordered Abelian groups
@@ Property / cites work: Strong theories of ordered Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+First order theory of cyclically ordered groups
@@ Property / cites work: First order theory of cyclically ordered groups / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Ordered Abelian Groups does not have the Independence Property
+Normal rank
@@ Property / cites work @@
+Q3253828
@@ Property / cites work: Q3253828 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for lexicographic products of ordered abelian groups
+Normal rank
@@ Property / cites work @@
+Chain conditions in dependent groups
@@ Property / cites work: Chain conditions in dependent groups / rank @@
+Normal rank
@@ Property / cites work @@
+On cyclically ordered groups
@@ Property / cites work: On cyclically ordered groups / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Expansions of dense linear orders with the intermediate value property
+Normal rank
@@ Property / cites work @@
+Elementary Properties of Ordered Abelian Groups
@@ Property / cites work: Elementary Properties of Ordered Abelian Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal bounded index subgroup for dependent theories
+Normal rank
@@ Property / cites work @@
+On cyclically ordered groups
@@ Property / cites work: On cyclically ordered groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q3964534
@@ Property / cites work: Q3964534 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory of modules
@@ Property / cites work: Model theory of modules / rank @@
+Normal rank