Eliminating field quantifiers in strongly dependent henselian fields (Q4630671): Difference between revisions

@@ Property / arXiv ID @@
+.03188
@@ Property / arXiv ID: 1707.03188 / rank @@
+Normal rank
@@ Property / cites work @@
+Relative elimination of quantifiers for Henselian valued fields
+Normal rank
@@ Property / cites work @@
+Types in valued fields with coefficient maps
@@ Property / cites work: Types in valued fields with coefficient maps / rank @@
+Normal rank
@@ Property / cites work @@
+Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero
+Normal rank
@@ Property / cites work @@
+Analytic cell decomposition and analytic motivic integration
+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 @@
+Valued Fields
@@ Property / cites work: Valued Fields / rank @@
+Normal rank
@@ Property / cites work @@
+Stability in geometric theories
@@ Property / cites work: Stability in geometric theories / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly dependent ordered abelian groups and Henselian fields
+Normal rank
@@ Property / cites work @@
+Groups definable in local fields and pseudo-finite fields
+Normal rank
@@ Property / cites work @@
+Schlanke Körper (Slim fields)
@@ Property / cites work: Schlanke Körper (Slim fields) / rank @@
+Normal rank
@@ Property / cites work @@
+Artin-Schreier extensions in NIP and simple fields
+Normal rank
@@ Property / cites work @@
+Maximal fields with valuations
@@ Property / cites work: Maximal fields with valuations / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
+Normal rank
@@ Property / cites work @@
+On the angular component map modulo <i>P</i>
@@ Property / cites work: On the angular component map modulo <i>P</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Formally \(p\)-adic fields
@@ Property / cites work: Formally \(p\)-adic fields / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143431
@@ Property / cites work: Q4143431 / rank @@
+Normal rank
@@ Property / cites work @@
+SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS
+Normal rank
@@ Property / cites work @@
+Dependent first order theories, continued
@@ Property / cites work: Dependent first order theories, continued / rank @@
+Normal rank
@@ Property / cites work @@
+A Guide to NIP Theories
@@ Property / cites work: A Guide to NIP Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Model Theory of Valued Fields
@@ Property / cites work: Lectures on the Model Theory of Valued Fields / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129856255
@@ Property / Wikidata QID: Q129856255 / rank @@
+Normal rank