Cover Image

Construction of a valued field whose valuation ring is definable but neither $\exists\forall\exists$ nor $ \forall\exists\forall$-definable in the language of rings

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Khani, Mohsen, Shirani, Shaghayegh, Yadegari, Zahra, Zarei, Afshin
Format:	Preprint
Published:	2025
Subjects:	Logic 03C60, 03C40, 12L12, 12J10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A note on the non-existence of prime models of theories of pseudo-finite fields
by: Chatzidakis, Zoé
Published: (2020)

The theory DCF$_p$A exists for $p>0$
by: Ino, Kai, et al.
Published: (2024)

Around definable types in $p$-adically closed fields
by: Guerrero, Pablo Andujar, et al.
Published: (2022)

On definable groups in dp-minimal topological fields equipped with a generic derivation
by: Point, Françoise
Published: (2025)

The domination monoid in henselian valued fields
by: Hils, Martin, et al.
Published: (2021)

On residual domination and types orthogonal to the value group
by: Kovacsics, Pablo Cubides, et al.
Published: (2024)

Linear theories of global fields with absolute values
by: Fehm, Arno, et al.
Published: (2026)

Automorphisms of valued fields: amalgamation and existential closedness
by: Dobrowolski, Jan, et al.
Published: (2025)

The Ax-Kochen-Ershov principles via the higher valued hyperfield
by: Lee, Junguk
Published: (2025)

Embedding the prime model of real exponentiation into o-minimal exponential fields
by: Krapp, Lothar Sebastian
Published: (2023)

Translating between NIP integral domains and topological fields
by: Johnson, Will
Published: (2025)

Generic differentiability and $P$-minimal groups
by: Johnson, Will
Published: (2024)

Relative Quantifier Elimination for Separable-Algebraically Maximal Kaplansky Fields
by: Moreno, Paulo Andrés Soto
Published: (2025)

On some NIP Fragments of Fields
by: Moreno, Paulo Andrés Soto
Published: (2026)

Ax-Kochen-Ershov principles for finitely ramified henselian fields
by: Anscombe, Sylvy, et al.
Published: (2023)

Composition Ax-Kochen/Ershov principles and tame fields of mixed characteristic
by: Ketelsen, Margarete, et al.
Published: (2026)

On Lambda functions in henselian and separably tame valued fields
by: Anscombe, Sylvy
Published: (2025)

Definable henselian valuations in positive residue characteristic
by: Ketelsen, Margarete, et al.
Published: (2024)

Model theory of valued fields with an endomorphism
by: Ramello, Simone
Published: (2024)

Ordered henselian valued fields: definability and Borel sets
by: Krapp, Lothar Sebastian, et al.
Published: (2026)

Perfectoid fields in the language of rings
by: Jahnke, Franziska, et al.
Published: (2026)

Spherically complete models of Hensel minimal valued fields
by: Bradley-Williams, David, et al.
Published: (2021)

Definable henselian valuations on dp-minimal real fields
by: Krapp, Lothar Sebastian, et al.
Published: (2024)

Algebraic types in Zilber's exponential field
by: Aslanyan, Vahagn, et al.
Published: (2024)

Forking independence in differentially closed fields of positive characteristic
by: Kowalski, Piotr, et al.
Published: (2025)

Integration in Hensel minimal fields
by: Stout, Mathias, et al.
Published: (2025)

On countable isotypic structures
by: Gvozdevsky, Pavel
Published: (2023)

Higher amalgamation in $\mathrm{ACFA}^{+}$
by: Ludwig, Stefan Marian
Published: (2026)

Generic derivations on algebraically bounded structures
by: Antongiulio, Fornasiero, et al.
Published: (2023)

Exponential Fields: Lack of Generic Derivations
by: Antongiulio, Fornasiero, et al.
Published: (2024)

On the elementary theory of the real exponential field
by: Berarducci, Alessandro, et al.
Published: (2026)

Elimination results for tame fields with finite residue fields
by: Anscombe, Sylvy, et al.
Published: (2026)

A note on existentially t-henselian fields
by: Anscombe, Sylvy
Published: (2026)

Two examples concerning existential undecidability in fields
by: Dittmann, Philip
Published: (2022)

The uniform companion for fields with free operators in characteristic zero
by: Mohamed, Shezad
Published: (2023)

Quantifier elimination for lovely pairs of strongly geometric fields
by: Kovacsics, Pablo Cubides, et al.
Published: (2026)

Interpretations of syntactic fragments of theories of fields
by: Anscombe, Sylvy, et al.
Published: (2023)

AKE principles for deeply ramified fields
by: Jahnke, Franziska, et al.
Published: (2026)

Dp-finite and Noetherian NIP integral domains
by: Johnson, Will
Published: (2023)

Neostability transfers in derivation-like theories
by: Sanchez, Omar Leon, et al.
Published: (2024)