First order theory of cyclically ordered groups (Q2636535): Difference between revisions

@@ Property / author @@
-Michèle Giraudet
@@ Property / author: Michèle Giraudet / rank @@
-Normal rank
@@ Property / author @@
+Michèle Giraudet
@@ Property / author: Michèle Giraudet / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963021348
@@ Property / OpenAlex ID: W2963021348 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0499
@@ Property / arXiv ID: 1311.0499 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+The first order properties of products of algebraic systems
+Normal rank
@@ Property / cites work @@
+Q3027108
@@ Property / cites work: Q3027108 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509706
@@ Property / cites work: Q5509706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586259
@@ Property / cites work: Q5586259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Representations of cyclically ordered groups
@@ Property / cites work: Representations of cyclically ordered groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q5588717
@@ Property / cites work: Q5588717 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5830665
@@ Property / cites work: Q5830665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5798825
@@ Property / cites work: Q5798825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343396
@@ Property / cites work: Q5343396 / rank @@
+Normal rank
@@ Property / cites work @@
+On cyclically ordered groups
@@ Property / cites work: On cyclically ordered groups / rank @@
+Normal rank
@@ Property / cites work @@
+Existential equivalence of ordered abelian groups with parameters
+Normal rank
@@ Property / cites work @@
+Q3216714
@@ Property / cites work: Q3216714 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4135622
@@ Property / cites work: Q4135622 / rank @@
+Normal rank