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

← Older edit

@@ Property / DOI @@
-.1090/proc/14203
@@ Property / DOI: 10.1090/proc/14203 / 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
@@ Property / DOI @@
+.1090/PROC/14203
@@ Property / DOI: 10.1090/PROC/14203 / rank @@
+Normal rank
@@ Property / Recommended article @@
+On<i>n</i>-dependent groups and fields II
+Normal rank
+Similarity Score: 0.7172024Amount 0.7172024
Unit 1
-Amount
+.7172024
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The classification of dp-minimal and dp-small fields
+Normal rank
+Similarity Score: 0.71093315Amount 0.71093315
Unit 1
-Amount
+.71093315
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Definable Valuations Induced by Definable Subgroups
+Normal rank
+Similarity Score: 0.7081882Amount 0.7081882
Unit 1
-Amount
+.7081882
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Uniformly defining \(p\)-Henselian valuations
+Normal rank
+Similarity Score: 0.70336425Amount 0.70336425
Unit 1
-Amount
+.70336425
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q5298603
@@ Property / Recommended article: Q5298603 / rank @@
+Normal rank
@@ Property / Recommended article: Q5298603 / qualifier @@
+Similarity Score: 0.7033273Amount 0.7033273
Unit 1
-Amount
+.7033273
 Unit
@@ Property / Recommended article: Q5298603 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Definable valuations induced by multiplicative subgroups and NIP fields
+Normal rank
+Similarity Score: 0.7014653Amount 0.7014653
Unit 1
-Amount
+.7014653
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Finite Extensions of Valued Fields
@@ Property / Recommended article: Finite Extensions of Valued Fields / rank @@
+Normal rank
@@ Property / Recommended article: Finite Extensions of Valued Fields / qualifier @@
+Similarity Score: 0.69204426Amount 0.69204426
Unit 1
-Amount
+.69204426
 Unit
@@ Property / Recommended article: Finite Extensions of Valued Fields / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+DEFINABILITY OF HENSELIAN VALUATIONS BY CONDITIONS ON THE VALUE GROUP
+Normal rank
+Similarity Score: 0.69165415Amount 0.69165415
Unit 1
-Amount
+.69165415
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Strongly NIP almost real closed fields
@@ Property / Recommended article: Strongly NIP almost real closed fields / rank @@
+Normal rank
+Similarity Score: 0.6913036Amount 0.6913036
Unit 1
-Amount
+.6913036
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The algebra and model theory of tame valued fields
+Normal rank
+Similarity Score: 0.6898438Amount 0.6898438
Unit 1
-Amount
+.6898438
 Unit
+Recommender Run: Recommender Run 2