On the existential theory of the completions of a global field
Fuente:
arXiv
Saved in:
| Main Authors: | Dittmann, Philip, Fehm, Arno |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Universal-existential theories of fields
by: Anscombe, Sylvy, et al.
Published: (2024)
by: Anscombe, Sylvy, et al.
Published: (2024)
Existential theories of henselian valued fields under a formal smoothness assumption
by: Dittmann, Philip
Published: (2026)
by: Dittmann, Philip
Published: (2026)
Existential fragments of theories of henselian valued fields
by: Anscombe, Sylvy, et al.
Published: (2026)
by: Anscombe, Sylvy, et al.
Published: (2026)
Interpretations of syntactic fragments of theories of fields
by: Anscombe, Sylvy, et al.
Published: (2023)
by: Anscombe, Sylvy, et al.
Published: (2023)
Linear theories of global fields with absolute values
by: Fehm, Arno, et al.
Published: (2026)
by: Fehm, Arno, et al.
Published: (2026)
Existential rank and essential dimension of diophantine sets
by: Daans, Nicolas, et al.
Published: (2021)
by: Daans, Nicolas, et al.
Published: (2021)
Two examples concerning existential undecidability in fields
by: Dittmann, Philip
Published: (2022)
by: Dittmann, Philip
Published: (2022)
On Lambda functions in henselian and separably tame valued fields
by: Anscombe, Sylvy
Published: (2025)
by: Anscombe, Sylvy
Published: (2025)
Uniform existential definitions of valuations in function fields in one variable
by: Becher, Karim Johannes, et al.
Published: (2023)
by: Becher, Karim Johannes, et al.
Published: (2023)
Large imperfect fields are existentially closed in function fields after finite constant extension
by: Knaf, Hagen, et al.
Published: (2026)
by: Knaf, Hagen, et al.
Published: (2026)
Universally defining subrings in function fields
by: Daans, Nicolas, et al.
Published: (2024)
by: Daans, Nicolas, et al.
Published: (2024)
On definable groups in dp-minimal topological fields equipped with a generic derivation
by: Point, Françoise
Published: (2025)
by: Point, Françoise
Published: (2025)
A geometric approach to some systems of exponential equations
by: Aslanyan, Vahagn, et al.
Published: (2021)
by: Aslanyan, Vahagn, et al.
Published: (2021)
Composition Ax-Kochen/Ershov principles and tame fields of mixed characteristic
by: Ketelsen, Margarete, et al.
Published: (2026)
by: Ketelsen, Margarete, et al.
Published: (2026)
Ax-Kochen-Ershov principles for finitely ramified henselian fields
by: Anscombe, Sylvy, et al.
Published: (2023)
by: Anscombe, Sylvy, et al.
Published: (2023)
Transfer principles and the Kato-Kuzumaki conjecture
by: Gambardella, Felipe, et al.
Published: (2026)
by: Gambardella, Felipe, et al.
Published: (2026)
Decidability of polynomial equations over function fields in positive characteristic
by: Daans, Nicolas
Published: (2025)
by: Daans, Nicolas
Published: (2025)
Finite-dimensional differential-algebraic permutation groups
by: Freitag, James, et al.
Published: (2023)
by: Freitag, James, et al.
Published: (2023)
Automorphisms of valued fields: amalgamation and existential closedness
by: Dobrowolski, Jan, et al.
Published: (2025)
by: Dobrowolski, Jan, et al.
Published: (2025)
A note on Diophantine subsets of large fields
by: Kwon, Andrew
Published: (2024)
by: Kwon, Andrew
Published: (2024)
Algebraic types in Zilber's exponential field
by: Aslanyan, Vahagn, et al.
Published: (2024)
by: Aslanyan, Vahagn, et al.
Published: (2024)
Projective curves and weak second-order logic
by: Berarducci, Alessandro, et al.
Published: (2025)
by: Berarducci, Alessandro, et al.
Published: (2025)
A note on the non-existence of prime models of theories of pseudo-finite fields
by: Chatzidakis, Zoé
Published: (2020)
by: Chatzidakis, Zoé
Published: (2020)
Embedding the prime model of real exponentiation into o-minimal exponential fields
by: Krapp, Lothar Sebastian
Published: (2023)
by: Krapp, Lothar Sebastian
Published: (2023)
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
by: Khani, Mohsen, et al.
Published: (2025)
by: Khani, Mohsen, et al.
Published: (2025)
Generic derivations on algebraically bounded structures
by: Antongiulio, Fornasiero, et al.
Published: (2023)
by: Antongiulio, Fornasiero, et al.
Published: (2023)
Exponential Fields: Lack of Generic Derivations
by: Antongiulio, Fornasiero, et al.
Published: (2024)
by: Antongiulio, Fornasiero, et al.
Published: (2024)
Perfectoid fields in the language of rings
by: Jahnke, Franziska, et al.
Published: (2026)
by: Jahnke, Franziska, et al.
Published: (2026)
Splitting differential equations using Galois theory
by: Eagles, Christine, et al.
Published: (2024)
by: Eagles, Christine, et al.
Published: (2024)
Translating between NIP integral domains and topological fields
by: Johnson, Will
Published: (2025)
by: Johnson, Will
Published: (2025)
Undecidability of expansions of Laurent series fields by cyclic discrete subgroups
by: Gitin, Leo
Published: (2024)
by: Gitin, Leo
Published: (2024)
On residual domination and types orthogonal to the value group
by: Kovacsics, Pablo Cubides, et al.
Published: (2024)
by: Kovacsics, Pablo Cubides, et al.
Published: (2024)
AKE principles for deeply ramified fields
by: Jahnke, Franziska, et al.
Published: (2026)
by: Jahnke, Franziska, et al.
Published: (2026)
Integration in Hensel minimal fields
by: Stout, Mathias, et al.
Published: (2025)
by: Stout, Mathias, et al.
Published: (2025)
A note on existentially t-henselian fields
by: Anscombe, Sylvy
Published: (2026)
by: Anscombe, Sylvy
Published: (2026)
Note on a differential algebra bound
by: Jimenez, Léo
Published: (2024)
by: Jimenez, Léo
Published: (2024)
On Widmer's criteria for the Northcott property
by: Checcoli, Sara, et al.
Published: (2024)
by: Checcoli, Sara, et al.
Published: (2024)
Model theory of valued fields with an endomorphism
by: Ramello, Simone
Published: (2024)
by: Ramello, Simone
Published: (2024)
Differentially Henselian Fields
by: Ng, Gabriel
Published: (2023)
by: Ng, Gabriel
Published: (2023)
Growing Spines Ad Infinitum
by: Boissonneau, Blaise, et al.
Published: (2025)
by: Boissonneau, Blaise, et al.
Published: (2025)
Similar Items
-
Universal-existential theories of fields
by: Anscombe, Sylvy, et al.
Published: (2024) -
Existential theories of henselian valued fields under a formal smoothness assumption
by: Dittmann, Philip
Published: (2026) -
Existential fragments of theories of henselian valued fields
by: Anscombe, Sylvy, et al.
Published: (2026) -
Interpretations of syntactic fragments of theories of fields
by: Anscombe, Sylvy, et al.
Published: (2023) -
Linear theories of global fields with absolute values
by: Fehm, Arno, et al.
Published: (2026)