Cover Image

Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bhardwaj, Neer, Dries, Lou van den
Format:	Preprint
Published:	2024
Subjects:	Logic Commutative Algebra Primary 03C10, 32B05, Secondary 03C60, 12J25, 13J15, 13L05
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Endogenies and Linearisation
by: Deloro, Adrien, et al.
Published: (2024)

Decidability for the theory of modules over a Prüfer domain
by: Gregory, Lorna
Published: (2021)

Projectable reduced $f$-rings admitting elimination of quantifiers
by: Guier, Jorge I.
Published: (2026)

Dynamic computations inside the algebraic closure of a valued field
by: Kuhlmann, Franz-Viktor, et al.
Published: (2022)

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

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

Asymptotic Differential Algebra and Model Theory of Transseries
by: Aschenbrenner, Matthias, et al.
Published: (2015)

Taylor Morphisms
by: Ng, Gabriel
Published: (2023)

Decidability of the theory of modules over Prüfer domains with infinite residue fields
by: Gregory, Lorna, et al.
Published: (2017)

Azumaya algebras and Barr Theorem
by: Coquand, Thierry, et al.
Published: (2023)

Decidability of the theory of modules over Prüfer domains with dense value groups
by: Gregory, Lorna, et al.
Published: (2019)

$F$-pure and $F$-injective singularities in equal characteristic zero
by: Yamaguchi, Tatsuki
Published: (2023)

Whitehead's problem and condensed mathematics
by: Bergfalk, Jeffrey, et al.
Published: (2023)

Heitmann dimension of distributive lattices and commutative rings
by: Coquand, Thierry, et al.
Published: (2023)

On limit models and parametrized noetherian rings
by: Mazari-Armida, Marcos
Published: (2024)

A Prime-Generated Formalization of Nagata's Factoriality Theorem in Lean 4
by: Ramos, Arthur F., et al.
Published: (2026)

Quite Complete Real Closed fields
by: Shelah, Saharon
Published: (2001)

Closed bounded sets in 1-h-minimal valued fields
by: López, Juan Pablo Acosta
Published: (2024)

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

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

On simple groups definable in some valued fields
by: Gismatullin, Jakub, et al.
Published: (2026)

Multivariate Hensel Lemma for ultrametric fields
by: Alonso, M. -E., et al.
Published: (2023)

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

Ramsey expansions of $Λ$-ultrametric spaces
by: Braunfeld, Samuel
Published: (2017)

On the Weierstrass Preparation Theorem over General Rings
by: Bell, Jason, et al.
Published: (2025)

Note on radical and prime E-ideals
by: Fornasiero, Antongiulio, et al.
Published: (2023)

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

The ramification tree and almost Dedekind domains of prescribed SP-rank
by: Rago, Balint, et al.
Published: (2024)

Almost Complete Intersections: Regularity of powers and Rees algebra
by: Kumar, Neeraj, et al.
Published: (2024)

Prime ideals of Moh and the characteristic of the field
by: González, Laura, et al.
Published: (2024)

Definable ranks
by: Krapp, Lothar Sebastian, et al.
Published: (2025)

On the behavior of adjoint ideals under pure morphisms
by: Takagi, Shunsuke, et al.
Published: (2023)

SAT Solving Using XOR-OR-AND Normal Forms
by: Andraschko, Bernhard, et al.
Published: (2023)

Periods, Power Series, and Integrated Algebraic Numbers
by: Kaiser, Tobias
Published: (2022)

On composition and Right Distributive Law for formal power series of multiple variables
by: Bugajewski, Dariusz, et al.
Published: (2022)

A note on multiplicative roots of multivariable formal power series
by: Maćkowiak, Piotr, et al.
Published: (2025)

Anneaux à diviseurs et anneaux de Krull (une approche constructive)
by: Coquand, Thierry, et al.
Published: (2015)

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

Definable Galois theory for bimeromorphic geometry
by: Moosa, Rahim, et al.
Published: (2025)

On the problem of stability of abstract elementary classes of modules
by: Paolini, Gianluca, et al.
Published: (2025)