A definable Henselian valuation with high quantifier complexity (Q2947241): Difference between revisions

@@ Property / cites work @@
+AN EXISTENTIAL ∅-DEFINITION OF  IN
@@ Property / cites work: AN EXISTENTIAL ∅-DEFINITION OF IN / rank @@
+Normal rank
@@ Property / cites work @@
+Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
+Normal rank
@@ Property / cites work @@
+Quantifier elimination in ordered abelian groups
@@ Property / cites work: Quantifier elimination in ordered abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+EXISTENTIAL ∅-DEFINABILITY OF HENSELIAN VALUATION RINGS
+Normal rank
@@ Property / cites work @@
+On the quantifier complexity of definable canonical Henselian valuations
+Normal rank
@@ Property / cites work @@
+Uniform definability of henselian valuation rings in the Macintyre language:
+Normal rank
@@ Property / cites work @@
+Definable non-divisible Henselian valuations
@@ Property / cites work: Definable non-divisible Henselian valuations / rank @@
+Normal rank
@@ Property / cites work @@
+DEFINABLE HENSELIAN VALUATIONS
@@ Property / cites work: DEFINABLE HENSELIAN VALUATIONS / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Patching
@@ Property / cites work: Algebraic Patching / rank @@
+Normal rank
@@ Property / cites work @@
+On places of algebraic function fields.
@@ Property / cites work: On places of algebraic function fields. / rank @@
+Normal rank
@@ Property / cites work @@
+Existential equivalence of ordered abelian groups with parameters
+Normal rank