Lattice of definability (of reducts) for integers with successor (Q5033990): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Presburgerness of predicates regular in two number systems
+Normal rank
@@ Property / cites work @@
+Q5009704
@@ Property / cites work: Q5009704 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
+Normal rank
@@ Property / cites work @@
+Q3816047
@@ Property / cites work: Q3816047 / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice of definability in the order of rational numbers
+Normal rank
@@ Property / cites work @@
+A combinatorial version of the Svenonius theorem on definability
+Normal rank
@@ Property / cites work @@
+Q4681894
@@ Property / cites work: Q4681894 / rank @@
+Normal rank
@@ Property / cites work @@
+Quelques problèmes combinatoires concernant les ordres totaux et les rélations monomorphes
+Normal rank
@@ Property / cites work @@
+A survey of homogeneous structures
@@ Property / cites work: A survey of homogeneous structures / rank @@
+Normal rank
@@ Property / cites work @@
+Transitivity of permutation groups on unordered sets
+Normal rank
@@ Property / cites work @@
+The 116 reducts of (ℚ, &lt;, <i>a</i>)
@@ Property / cites work: The 116 reducts of (ℚ, <, <i>a</i>) / rank @@
+Normal rank
@@ Property / cites work @@
+The 42 reducts of the random ordered graph
@@ Property / cites work: The 42 reducts of the random ordered graph / rank @@
+Normal rank
@@ Property / cites work @@
+THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC
+Normal rank
@@ Property / cites work @@
+The Lattice of Definability. Origins, Recent Developments, and Further Directions
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5033990