STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS (Q5195059): Difference between revisions

@@ Property / cites work @@
+Cell decomposition and dimension function in the theory of closed ordered differential fields
+Normal rank
@@ Property / cites work @@
+Definable types in the theory of closed ordered differential fields
+Normal rank
@@ Property / cites work @@
+Topological differential fields
@@ Property / cites work: Topological differential fields / rank @@
+Normal rank
@@ Property / cites work @@
+Topological differential fields and dimension functions
+Normal rank
@@ Property / cites work @@
+Imaginaries in separably closed valued fields
@@ Property / cites work: Imaginaries in separably closed valued fields / rank @@
+Normal rank
@@ Property / cites work @@
+Imaginaries and definable types in algebraically closed valued fields
+Normal rank
@@ Property / cites work @@
+Q4872381
@@ Property / cites work: Q4872381 / rank @@
+Normal rank
@@ Property / cites work @@
+Definable types in -minimal theories
@@ Property / cites work: Definable types in -minimal theories / rank @@
+Normal rank
@@ Property / cites work @@
+On differentially closed ordered fields
@@ Property / cites work: On differentially closed ordered fields / rank @@
+Normal rank
@@ Property / cites work @@
+Une théorie de Galois imaginaire
@@ Property / cites work: Une théorie de Galois imaginaire / rank @@
+Normal rank
@@ Property / cites work @@
+DEFINABLE AND INVARIANT TYPES IN ENRICHMENTS OF NIP THEORIES
+Normal rank
@@ Property / cites work @@
+ON FORKING AND DEFINABILITY OF TYPES IN SOME DP-MINIMAL THEORIES
+Normal rank
@@ Property / cites work @@
+The model theory of ordered differential fields
@@ Property / cites work: The model theory of ordered differential fields / rank @@
+Normal rank
@@ Property / cites work @@
+Q2879568
@@ Property / cites work: Q2879568 / rank @@
+Normal rank
@@ Property / cites work @@
+Dimension of definable sets, algebraic boundedness and Henselian fields
+Normal rank
@@ Property / cites work @@
+Q4392286
@@ Property / cites work: Q4392286 / rank @@
+Normal rank