Buchumschlag

Théories géométriques pour l'algèbre des nombres réels sans test de signe ni axiome de choix dépendant

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lombardi, Henri, Mahboubi, Assia
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic Commutative Algebra 12D15 12J15 14Q20 14P10 03F65 03B35
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Projective curves and weak second-order logic
von: Berarducci, Alessandro, et al.
Veröffentlicht: (2025)

Geometric theories for real number algebra without sign test or dependent choice axiom
von: Lombardi, Henri, et al.
Veröffentlicht: (2024)

Ordered henselian valued fields: definability and Borel sets
von: Krapp, Lothar Sebastian, et al.
Veröffentlicht: (2026)

Embedding the prime model of real exponentiation into o-minimal exponential fields
von: Krapp, Lothar Sebastian
Veröffentlicht: (2023)

Dp-finite and Noetherian NIP integral domains
von: Johnson, Will
Veröffentlicht: (2023)

Definable henselian valuations in positive residue characteristic
von: Ketelsen, Margarete, et al.
Veröffentlicht: (2024)

Model theory of valued fields with an endomorphism
von: Ramello, Simone
Veröffentlicht: (2024)

Generic derivations on algebraically bounded structures
von: Antongiulio, Fornasiero, et al.
Veröffentlicht: (2023)

Definable ranks
von: Krapp, Lothar Sebastian, et al.
Veröffentlicht: (2025)

Dynamical method in algebra: Effective Nullstellensätze
von: Coste, Michel, et al.
Veröffentlicht: (2017)

Rigid Real Closed Fields
von: Marker, David, et al.
Veröffentlicht: (2024)

Anneaux à diviseurs et anneaux de Krull (une approche constructive)
von: Coquand, Thierry, et al.
Veröffentlicht: (2015)

AKE principles for deeply ramified fields
von: Jahnke, Franziska, et al.
Veröffentlicht: (2026)

Finite-dimensional differential-algebraic permutation groups
von: Freitag, James, et al.
Veröffentlicht: (2023)

Reconstructing Abelian Varieties via Model Theory
von: Castle, Benjamin, et al.
Veröffentlicht: (2025)

Zilber dichotomy for $DCF_{0,m}$
von: Sanchez, Omar Leon
Veröffentlicht: (2024)

Arrow's theorem, ultrafilters, and reverse mathematics
von: Eastaugh, Benedict
Veröffentlicht: (2023)

A decisive Theorem (Un théorème décisif)
von: Lombardi, Henri
Veröffentlicht: (2025)

Algebraic identities to prove that a neat finite free algebra is tracically étale
von: Quitté, Claude, et al.
Veröffentlicht: (2025)

Théorème de de Smit et Lenstra, démonstration élémentaire
von: Lombardi, Henri, et al.
Veröffentlicht: (2015)

Azumaya algebras and Barr Theorem
von: Coquand, Thierry, et al.
Veröffentlicht: (2023)

Quantales carrying ortholattice structure
von: Botur, Michal, et al.
Veröffentlicht: (2026)

Transasymptotic expansions of o-minimal germs
von: Rolin, Jean-Philippe, et al.
Veröffentlicht: (2024)

Special classes of functions
von: Freitag, James, et al.
Veröffentlicht: (2026)

Universal-existential theories of fields
von: Anscombe, Sylvy, et al.
Veröffentlicht: (2024)

Binding groups for algebraic dynamics
von: Kamensky, Moshe, et al.
Veröffentlicht: (2024)

Integration on the Surreals
von: Costin, Ovidiu, et al.
Veröffentlicht: (2022)

On Tameness, Measurability and the Independence Property
von: Krapp, Lothar Sebastian, et al.
Veröffentlicht: (2025)

Cross-Sections of Divisible Abelian $o$-Groups via Tame Pairs
von: Piepenborn, Ricardo Palomino
Veröffentlicht: (2025)

Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group
von: Bhardwaj, Neer, et al.
Veröffentlicht: (2024)

Linear Algebra and Galois Theory
von: Gupta, Ashish, et al.
Veröffentlicht: (2024)

Nonstandard polynomials: algebraic properties and elementary equivalence
von: Myasnikov, Alexei, et al.
Veröffentlicht: (2024)

Carryless Pairing: Additive Pairing in the Fibonacci Basis
von: Rosko, Milan
Veröffentlicht: (2025)

Definable henselian valuations on dp-minimal real fields
von: Krapp, Lothar Sebastian, et al.
Veröffentlicht: (2024)

Riso-stratifications and a tree invariant
von: Bradley-Williams, David, et al.
Veröffentlicht: (2022)

Existential fragments of theories of henselian valued fields
von: Anscombe, Sylvy, et al.
Veröffentlicht: (2026)

Existential theories of henselian valued fields under a formal smoothness assumption
von: Dittmann, Philip
Veröffentlicht: (2026)

Elementary Constructive Theory of Henselian Local Rings
von: García, Alonso, et al.
Veröffentlicht: (2022)

Relation Algebra Representations from Distance-Regular Graphs
von: Atkins, Eli
Veröffentlicht: (2026)

Constant power maps on Hardy fields and transseries
von: Kaplan, Elliot
Veröffentlicht: (2024)