Computable axiomatizability of elementary classes (Q2793906): Difference between revisions

@@ Property / cites work @@
+The elementary theory of finite fields
@@ Property / cites work: The elementary theory of finite fields / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and Logic
@@ Property / cites work: Computability and Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Structures having o-minimal open core
@@ Property / cites work: Structures having o-minimal open core / rank @@
+Normal rank
@@ Property / cites work @@
+Locally o-minimal structures and structures with locally o-minimal open core
+Normal rank
@@ Property / cites work @@
+Cell decompositions of \(C\)-minimal structures
@@ Property / cites work: Cell decompositions of \(C\)-minimal structures / rank @@
+Normal rank
@@ Property / cites work @@
+A version of <i>o</i>-minimality for the <i>p</i>-adics
+Normal rank
@@ Property / cites work @@
+Zariski geometries
@@ Property / cites work: Zariski geometries / rank @@
+Normal rank
@@ Property / cites work @@
+One-dimensional fibers of rigid subanalytic sets
@@ Property / cites work: One-dimensional fibers of rigid subanalytic sets / rank @@
+Normal rank
@@ Property / cites work @@
+Reducts of (C, +, ·) which contain +
@@ Property / cites work: Reducts of (C, +, ·) which contain + / rank @@
+Normal rank
@@ Property / cites work @@
+First order topological structures and theories
@@ Property / cites work: First order topological structures and theories / rank @@
+Normal rank
@@ Property / cites work @@
+THE NON-AXIOMATIZABILITY OF O-MINIMALITY
@@ Property / cites work: THE NON-AXIOMATIZABILITY OF O-MINIMALITY / rank @@
+Normal rank
@@ Property / cites work @@
+O-MINIMALISM
@@ Property / cites work: O-MINIMALISM / rank @@
+Normal rank