THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC (Q4638984): Difference between revisions

@@ Property / arXiv ID @@
+.00454
@@ Property / arXiv ID: 1603.00454 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3136877
@@ Property / cites work: Q3136877 / rank @@
+Normal rank
@@ Property / cites work @@
+Vapnik-Chervonenkis density in some theories without the independence property. II
+Normal rank
@@ Property / cites work @@
+Vapnik-Chervonenkis density in some theories without the independence property, I
+Normal rank
@@ Property / cites work @@
+A Solution of the "Plank Problem"
@@ Property / cites work: A Solution of the "Plank Problem" / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-o-minimal structures
@@ Property / cites work: Quasi-o-minimal structures / rank @@
+Normal rank
@@ Property / cites work @@
+Presburger sets and p-minimal fields
@@ Property / cites work: Presburger sets and p-minimal fields / rank @@
+Normal rank
@@ Property / cites work @@
+Stable groups and expansions of $(\mathbb Z,+,0)$
@@ Property / cites work: Stable groups and expansions of $(\mathbb Z,+,0)$ / 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 @@
+Dp-minimality: basic facts and examples
@@ Property / cites work: Dp-minimality: basic facts and examples / rank @@
+Normal rank
@@ Property / cites work @@
+Coverings by convex bodies and inscribed balls
@@ Property / cites work: Coverings by convex bodies and inscribed balls / rank @@
+Normal rank
@@ Property / cites work @@
+DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES
+Normal rank
@@ Property / cites work @@
+Semialgebraic Expansions of C
@@ Property / cites work: Semialgebraic Expansions of C / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems
+Normal rank
@@ Property / cites work @@
+Q3130253
@@ Property / cites work: Q3130253 / rank @@
+Normal rank
@@ Property / cites work @@
+On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
+Normal rank
@@ Property / cites work @@
+Supergenerix.
@@ Property / cites work: Supergenerix. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4668857
@@ Property / cites work: Q4668857 / rank @@
+Normal rank
@@ Property / cites work @@
+A Guide to NIP Theories
@@ Property / cites work: A Guide to NIP Theories / rank @@
+Normal rank