On the quantifier complexity of definable canonical Henselian valuations

&
Mathematical Logic Quarterly 61 (4-5):347-361 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.201400108

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,894

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A definable Henselian valuation with high quantifier complexity.Immanuel Halupczok & Franziska Jahnke - 2015 - Mathematical Logic Quarterly 61 (4-5):362-366.
Definable Henselian Valuations in Positive Residue Characteristic.Margarete Ketelsen, Simone Ramello & Piotr Szewczyk - forthcoming - Journal of Symbolic Logic:1-26.
Definable Henselian valuations.Franziska Jahnke & Jochen Koenigsmann - 2015 - Journal of Symbolic Logic 80 (1):85-99.
Definable valuations induced by multiplicative subgroups and NIP fields.Katharina Dupont, Assaf Hasson & Salma Kuhlmann - 2019 - Archive for Mathematical Logic 58 (7-8):819-839.
Definability of Henselian Valuations by Conditions on the Value Group.Lothar Sebastian Krapp, Salma Kuhlmann & Moritz Link - 2023 - Journal of Symbolic Logic 88 (3):1064-1082.
Henselian expansions of NIP fields.Franziska Jahnke - 2023 - Journal of Mathematical Logic 24 (2).
Relative decidability and definability in henselian valued fields.Joseph Flenner - 2011 - Journal of Symbolic Logic 76 (4):1240-1260.
Parametric Presburger arithmetic: complexity of counting and quantifier elimination.Tristram Bogart, John Goodrick, Danny Nguyen & Kevin Woods - 2019 - Mathematical Logic Quarterly 65 (2):237-250.
Corrigendum to “The complexity of plane hyperbolic incidence geometry is ∀∃∀∃”.Victor Pambuccian - 2008 - Mathematical Logic Quarterly 54 (6):668-668.
Uniformly defining p-henselian valuations.Franziska Jahnke & Jochen Koenigsmann - 2015 - Annals of Pure and Applied Logic 166 (7-8):741-754.

Analytics

Added to PP
2015-09-03

Downloads
48 (#515,485)

6 months
13 (#267,047)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Henselianity in the language of rings.Sylvy Anscombe & Franziska Jahnke - 2018 - Annals of Pure and Applied Logic 169 (9):872-895.

Add more citations

References found in this work

Definable Henselian valuations.Franziska Jahnke & Jochen Koenigsmann - 2015 - Journal of Symbolic Logic 80 (1):85-99.
Uniformly defining p-henselian valuations.Franziska Jahnke & Jochen Koenigsmann - 2015 - Annals of Pure and Applied Logic 166 (7-8):741-754.
Existential equivalence of ordered abelian groups with parameters.V. Weispfenning - 1990 - Archive for Mathematical Logic 29 (4):237-248.
Existential ∅-definability of Henselian valuation rings.Arno Fehm - 2015 - Journal of Symbolic Logic 80 (1):301-307.

View all 7 references / Add more references