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

@@ Property / DOI @@
-.1002/malq.201500024
@@ Property / DOI: 10.1002/malq.201500024 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59896629
@@ Property / Wikidata QID: Q59896629 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1729221454
@@ Property / OpenAlex ID: W1729221454 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01871
@@ Property / arXiv ID: 1504.01871 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1002/MALQ.201500024
@@ Property / DOI: 10.1002/MALQ.201500024 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2947241