Image de couverture de livre

Existential fragments of theories of henselian valued fields

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Anscombe, Sylvy, Fehm, Arno
Format:	Preprint
Publié:	2026
Sujets:	Logic Number Theory 03C60, 12L05, 12L12, 12J20, 14H05
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Universal-existential theories of fields
par: Anscombe, Sylvy, et autres
Publié: (2024)

Interpretations of syntactic fragments of theories of fields
par: Anscombe, Sylvy, et autres
Publié: (2023)

On Lambda functions in henselian and separably tame valued fields
par: Anscombe, Sylvy
Publié: (2025)

Existential theories of henselian valued fields under a formal smoothness assumption
par: Dittmann, Philip
Publié: (2026)

On the existential theory of the completions of a global field
par: Dittmann, Philip, et autres
Publié: (2024)

Linear theories of global fields with absolute values
par: Fehm, Arno, et autres
Publié: (2026)

Ax-Kochen-Ershov principles for finitely ramified henselian fields
par: Anscombe, Sylvy, et autres
Publié: (2023)

A note on existentially t-henselian fields
par: Anscombe, Sylvy
Publié: (2026)

Existential rank and essential dimension of diophantine sets
par: Daans, Nicolas, et autres
Publié: (2021)

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

Elimination results for tame fields with finite residue fields
par: Anscombe, Sylvy, et autres
Publié: (2026)

Finite-dimensional differential-algebraic permutation groups
par: Freitag, James, et autres
Publié: (2023)

Projective curves and weak second-order logic
par: Berarducci, Alessandro, et autres
Publié: (2025)

The domination monoid in henselian valued fields
par: Hils, Martin, et autres
Publié: (2021)

Generic derivations on algebraically bounded structures
par: Antongiulio, Fornasiero, et autres
Publié: (2023)

Exponential Fields: Lack of Generic Derivations
par: Antongiulio, Fornasiero, et autres
Publié: (2024)

Splitting differential equations using Galois theory
par: Eagles, Christine, et autres
Publié: (2024)

Two examples concerning existential undecidability in fields
par: Dittmann, Philip
Publié: (2022)

Note on a differential algebra bound
par: Jimenez, Léo
Publié: (2024)

Large imperfect fields are existentially closed in function fields after finite constant extension
par: Knaf, Hagen, et autres
Publié: (2026)

Differentially Henselian Fields
par: Ng, Gabriel
Publié: (2023)

Automorphisms of valued fields: amalgamation and existential closedness
par: Dobrowolski, Jan, et autres
Publié: (2025)

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
par: Khani, Mohsen, et autres
Publié: (2025)

On residual domination and types orthogonal to the value group
par: Kovacsics, Pablo Cubides, et autres
Publié: (2024)

Definable henselian valuations in positive residue characteristic
par: Ketelsen, Margarete, et autres
Publié: (2024)

Algebraic types in Zilber's exponential field
par: Aslanyan, Vahagn, et autres
Publié: (2024)

Ordered henselian valued fields: definability and Borel sets
par: Krapp, Lothar Sebastian, et autres
Publié: (2026)

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

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

Model theory of valued fields with an endomorphism
par: Ramello, Simone
Publié: (2024)

Perfectoid fields in the language of rings
par: Jahnke, Franziska, et autres
Publié: (2026)

The Ax-Kochen-Ershov principles via the higher valued hyperfield
par: Lee, Junguk
Publié: (2025)

Translating between NIP integral domains and topological fields
par: Johnson, Will
Publié: (2025)

Composition Ax-Kochen/Ershov principles and tame fields of mixed characteristic
par: Ketelsen, Margarete, et autres
Publié: (2026)

AKE principles for deeply ramified fields
par: Jahnke, Franziska, et autres
Publié: (2026)

Definable henselian valuations on dp-minimal real fields
par: Krapp, Lothar Sebastian, et autres
Publié: (2024)

Growing Spines Ad Infinitum
par: Boissonneau, Blaise, et autres
Publié: (2025)

Growing Spines: Ad Infinitum et Ad Infinitesimalia
par: Boissonneau, Blaise, et autres
Publié: (2025)

The theory DCF$_p$A exists for $p>0$
par: Ino, Kai, et autres
Publié: (2024)

Transfer principles and the Kato-Kuzumaki conjecture
par: Gambardella, Felipe, et autres
Publié: (2026)