Imagen de Portada

Derivations and gt-henselian field topologies

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Walsberg, Erik
Formato:	Preprint
Publicado:	2025
Materias:	Logic Commutative Algebra
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Model theory of differential-henselian pre-$H$-fields
por: Pynn-Coates, Nigel
Publicado: (2019)

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

Tame pairs of transseries fields
por: Pynn-Coates, Nigel
Publicado: (2024)

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

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

Largeness and generalized t-henselianity
por: Johnson, Will
Publicado: (2025)

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

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

Bounded morphisms
por: Wagner, Frank Olaf
Publicado: (2015)

The Regular Element Property in Constructive Mathematics
por: Coquand, Thierry
Publicado: (2024)

Contracting Endomorphisms of Valued Fields
por: Dor, Yuval, et al.
Publicado: (2023)

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

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

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

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

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

Approximation properties of torsion classes
por: Cox, Sean, et al.
Publicado: (2024)

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

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

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

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

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

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

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

Automorphisms of valued Hahn groups
por: Kuhlmann, Salma, et al.
Publicado: (2023)

Azumaya algebras and Barr Theorem
por: Coquand, Thierry, et al.
Publicado: (2023)

Short Hardy fields
por: Aschenbrenner, Matthias, et al.
Publicado: (2025)

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

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

Normalizing Asymptotic Differential Equations
por: Aschenbrenner, Matthias, et al.
Publicado: (2024)

Serre depth and local cohomology
por: Ficarra, Antonino
Publicado: (2026)

Model theory of valued fields with an endomorphism
por: Ramello, Simone
Publicado: (2024)

On cohomology of locally profinite sets
por: Aoki, Ko
Publicado: (2024)

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

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

Large implies henselian
por: Johnson, Will, et al.
Publicado: (2025)

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

On certain definable coarsenings of valuation rings and their applications
por: Kuhlmann, Franz-Viktor
Publicado: (2025)