Image de couverture de livre

Geometric theories for real number algebra without sign test or dependent choice axiom

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Lombardi, Henri, Mahboubi, Assia
Format:	Preprint
Publié:	2024
Sujets:	Logic Commutative Algebra, Mathematical Logic, Constructive Mathematics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Théories géométriques pour l'algèbre des nombres réels sans test de signe ni axiome de choix dépendant
par: Lombardi, Henri, et autres
Publié: (2024)

Azumaya algebras and Barr Theorem
par: Coquand, Thierry, et autres
Publié: (2023)

Analytic Nullstellensätze and the model theory of valued fields
par: Aschenbrenner, Matthias, et autres
Publié: (2022)

Model theory of differential-henselian pre-$H$-fields
par: Pynn-Coates, Nigel
Publié: (2019)

The transcendence degree of the reals over certain set-theoretical subfields
par: Fatalini, Azul, et autres
Publié: (2024)

Quasipolynomial behavior via constructibility in multigraded algebra
par: Dao, Hailong, et autres
Publié: (2025)

Tame pairs of transseries fields
par: Pynn-Coates, Nigel
Publié: (2024)

The Regular Element Property in Constructive Mathematics
par: Coquand, Thierry
Publié: (2024)

Derivations and gt-henselian field topologies
par: Walsberg, Erik
Publié: (2025)

Specialization of Difference Equations and High Frobenius Powers
par: Dor, Yuval, et autres
Publié: (2022)

Bounded morphisms
par: Wagner, Frank Olaf
Publié: (2015)

Dimension and topology in transserial tame pairs
par: Pynn-Coates, Nigel
Publié: (2025)

Contracting Endomorphisms of Valued Fields
par: Dor, Yuval, et autres
Publié: (2023)

Beyond the Fontaine-Wintenberger theorem
par: Jahnke, Franziska, et autres
Publié: (2023)

When is the étale open topology a field topology?
par: Dittmann, Philip, et autres
Publié: (2022)

Polynomials as terms and the Boolean Independence Theorem
par: Klazar, M.
Publié: (2024)

The étale open topology over the fraction field of a henselian local domain
par: Johnson, Will, et autres
Publié: (2021)

Automated Tactics for Polynomial Reasoning in Lean 4
par: Shen, Hao, et autres
Publié: (2026)

Expressive Power of Infinitary Logic and Absolute co-Hopfianity
par: Asgharzadeh, Mohsen, et autres
Publié: (2023)

Formalizing Wu-Ritt Method in Lean 4
par: Xiao, Yuxuan, et autres
Publié: (2026)

Failure of singular compactness for Hom
par: Asgharzadeh, Mohsen, et autres
Publié: (2025)

Computability of Equivariant Gröbner bases
par: Ghosh, Arka, et autres
Publié: (2025)

Automorphisms of valued Hahn groups
par: Kuhlmann, Salma, et autres
Publié: (2023)

Approximation properties of torsion classes
par: Cox, Sean, et autres
Publié: (2024)

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

Formalizing Gröbner Basis Theory in Lean
par: Guo, Junyu, et autres
Publié: (2026)

The universal logic of repeated experiments
par: Grillo, Sergio Daniel
Publié: (2025)

Normalizing Asymptotic Differential Equations
par: Aschenbrenner, Matthias, et autres
Publié: (2024)

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

Serre depth and local cohomology
par: Ficarra, Antonino
Publié: (2026)

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

Paradoxical decompositions of free F2$F_2$‐sets and the Hahn‐Banach axiom
par: Marianne Morillon
Publié: (2024)

Coherence Theory in Higher Identity Types Analytical Formalization of the Gnomonic Computation Model
par: Lombardi, Roberto
Publié: (2026)

On cohomology of locally profinite sets
par: Aoki, Ko
Publié: (2024)

Model theory of valued fields with an endomorphism
par: Ramello, Simone
Publié: (2024)

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

On one-parameter families of hermiticity-preserving superoperators which are not positive
par: Pastuszak, Grzegorz, et autres
Publié: (2024)

Graph Homomorphisms and Universal Algebra
par: Bodirsky, Manuel
Publié: (2026)

Fermat's Last Theorem: Fully Constructive Proof by Absolute Dynamic Residual Exhaustion Descent (ADRED) — Proof-Theoretic Minimalization
par: Onodera, Hiroaki
Publié: (2025)

Constructing $ω$-free Hardy fields
par: Aschenbrenner, Matthias, et autres
Publié: (2024)