Cover Image

On the elementary theory of the real exponential field

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Berarducci, Alessandro, Gallinaro, Francesco
Format:	Preprint
Published:	2026
Subjects:	Logic 03C10, 03C64, 12L12
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Projective curves and weak second-order logic
by: Berarducci, Alessandro, et al.
Published: (2025)

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

Restricted analytic valued fields with partial exponentiation
by: Ángel, Leonardo, et al.
Published: (2023)

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

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

Beautiful pairs
by: Kovacsics, Pablo Cubides, et al.
Published: (2021)

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

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

A dichotomy for $T$-convex fields with a monomial group
by: Kaplan, Elliot, et al.
Published: (2023)

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

Relative Quantifier Elimination for Separable-Algebraically Maximal Kaplansky Fields
by: Moreno, Paulo Andrés Soto
Published: (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
by: Khani, Mohsen, et al.
Published: (2025)

The domination monoid in o-minimal theories
by: Mennuni, Rosario
Published: (2020)

Zilber's notion of logically perfect structure: Universal Covers
by: Baldwin, John T., et al.
Published: (2023)

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

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

Model theory of difference fields with an additive character on the fixed field
by: Ludwig, Stefan Marian
Published: (2025)

Transasymptotic expansions of o-minimal germs
by: Rolin, Jean-Philippe, et al.
Published: (2024)

Generic derivations on o-minimal structures
by: Fornasiero, Antongiulio, et al.
Published: (2019)

$T$-convexly valued o-minimal fields are definably spherically complete
by: Freni, Pietro
Published: (2024)

Growing Spines: Ad Infinitum et Ad Infinitesimalia
by: Boissonneau, Blaise, et al.
Published: (2025)

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

Transseries as germs of surreal functions
by: Berarducci, Alessandro, et al.
Published: (2017)

Splitting differential equations using Galois theory
by: Eagles, Christine, et al.
Published: (2024)

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 some NIP Fragments of Fields
by: Moreno, Paulo Andrés Soto
Published: (2026)

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

$T$-convexity, Weakly Immediate Types, and $T$-$λ$-Spherical Completions of o-minimal Structures
by: Freni, Pietro
Published: (2024)

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

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)

Orthogonal decomposition of definable groups
by: Berarducci, Alessandro, et al.
Published: (2021)

On Tameness, Measurability and the Independence Property
by: Krapp, Lothar Sebastian, et al.
Published: (2025)

Constant power maps on Hardy fields and transseries
by: Kaplan, Elliot
Published: (2024)

Growing Spines Ad Infinitum
by: Boissonneau, Blaise, et al.
Published: (2025)

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

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

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

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