Cover Image

Model theory of differential-henselian pre-$H$-fields

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Pynn-Coates, Nigel
Format:	Preprint
Published:	2019
Subjects:	Logic Commutative Algebra
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Tame pairs of transseries fields
by: Pynn-Coates, Nigel
Published: (2024)

Dimension and topology in transserial tame pairs
by: Pynn-Coates, Nigel
Published: (2025)

Derivations and gt-henselian field topologies
by: Walsberg, Erik
Published: (2025)

The étale open topology over the fraction field of a henselian local domain
by: Johnson, Will, et al.
Published: (2021)

Analytic Nullstellensätze and the model theory of valued fields
by: Aschenbrenner, Matthias, et al.
Published: (2022)

When is the étale open topology a field topology?
by: Dittmann, Philip, et al.
Published: (2022)

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

Largeness and generalized t-henselianity
by: Johnson, Will
Published: (2025)

The transcendence degree of the reals over certain set-theoretical subfields
by: Fatalini, Azul, et al.
Published: (2024)

Specialization of Difference Equations and High Frobenius Powers
by: Dor, Yuval, et al.
Published: (2022)

Bounded morphisms
by: Wagner, Frank Olaf
Published: (2015)

The Regular Element Property in Constructive Mathematics
by: Coquand, Thierry
Published: (2024)

Contracting Endomorphisms of Valued Fields
by: Dor, Yuval, et al.
Published: (2023)

Beyond the Fontaine-Wintenberger theorem
by: Jahnke, Franziska, et al.
Published: (2023)

Monotone $T$-convex $T$-differential fields
by: Kaplan, Elliot, et al.
Published: (2023)

Geometric theories for real number algebra without sign test or dependent choice axiom
by: Lombardi, Henri, et al.
Published: (2024)

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

Polynomials as terms and the Boolean Independence Theorem
by: Klazar, M.
Published: (2024)

Quasipolynomial behavior via constructibility in multigraded algebra
by: Dao, Hailong, et al.
Published: (2025)

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

Model theory of tame valued fields and beyond: recent developments and open questions
by: Kuhlmann, Franz-Viktor
Published: (2025)

Approximation properties of torsion classes
by: Cox, Sean, et al.
Published: (2024)

Vopěnka's Principle, Maximum Deconstructibility, and singly-generated torsion classes
by: Cox, Sean
Published: (2024)

Formalizing Gröbner Basis Theory in Lean
by: Guo, Junyu, et al.
Published: (2026)

Automated Tactics for Polynomial Reasoning in Lean 4
by: Shen, Hao, et al.
Published: (2026)

Expressive Power of Infinitary Logic and Absolute co-Hopfianity
by: Asgharzadeh, Mohsen, et al.
Published: (2023)

Formalizing Wu-Ritt Method in Lean 4
by: Xiao, Yuxuan, et al.
Published: (2026)

Failure of singular compactness for Hom
by: Asgharzadeh, Mohsen, et al.
Published: (2025)

Computability of Equivariant Gröbner bases
by: Ghosh, Arka, et al.
Published: (2025)

Automorphisms of valued Hahn groups
by: Kuhlmann, Salma, et al.
Published: (2023)

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

Short Hardy fields
by: Aschenbrenner, Matthias, et al.
Published: (2025)

Constructing $ω$-free Hardy fields
by: Aschenbrenner, Matthias, et al.
Published: (2024)

Normalizing Asymptotic Differential Equations
by: Aschenbrenner, Matthias, et al.
Published: (2024)

Serre depth and local cohomology
by: Ficarra, Antonino
Published: (2026)

Material Interpretation and Constructive Analysis of Maximal Ideals in $\mathbb{Z}[X]$
by: Wiesnet, Franziskus
Published: (2025)

Dimension theory for the asymptotic couple of the field of logarithmic transseries
by: Gehret, Allen, et al.
Published: (2025)

On cohomology of locally profinite sets
by: Aoki, Ko
Published: (2024)

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

Formalization of Auslander--Buchsbaum--Serre criterion in Lean4
by: Guan, Naillin, et al.
Published: (2025)