Elimination of unbounded quantifiers for some poly-regular groups of infinite rank (Q2461190): Difference between revisions

@@ Property / cites work @@
+Q4781763
@@ Property / cites work: Q4781763 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3910512
@@ Property / cites work: Q3910512 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5544276
@@ Property / cites work: Q5544276 / rank @@
+Normal rank
@@ Property / cites work @@
+The first order properties of products of algebraic systems
+Normal rank
@@ Property / cites work @@
+Q3281123
@@ Property / cites work: Q3281123 / rank @@
+Normal rank
@@ Property / cites work @@
+VALUED LINEAR SPACES
@@ Property / cites work: VALUED LINEAR SPACES / rank @@
+Normal rank
@@ Property / cites work @@
+Expanded theory of ordered Abelian groups
@@ Property / cites work: Expanded theory of ordered Abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+A model theoretic proof of Feferman's preservation theorem
+Normal rank
@@ Property / cites work @@
+Infinitary formulas preserved under unions of models
+Normal rank
@@ Property / cites work @@
+On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
+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 @@
+Q5184895
@@ Property / cites work: Q5184895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3602611
@@ Property / cites work: Q3602611 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3964534
@@ Property / cites work: Q3964534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3767392
@@ Property / cites work: Q3767392 / rank @@
+Normal rank