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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2007.07.004
+Normal rank
@@ Property / OpenAlex ID @@
+W1983628659
@@ Property / OpenAlex ID: W1983628659 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2461190