:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Coste, Michel, Lombardi, Henri, Roy, Marie-Françoise
Format:	Preprint
Published:	2017
Subjects:	Algebraic Geometry Logic 03F65, 06F15, 12J10, 12J15, 18B25
Online Access:	https://arxiv.org/abs/1701.05794
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Know Your Rank!
by: Boissonneau, Blaise, et al.
Published: (2025)

Cross-Sections of Divisible Abelian $o$-Groups via Tame Pairs
by: Piepenborn, Ricardo Palomino
Published: (2025)

Truncations in languages of generalized power series and the structure of $T$-$λ$-spherical completions of o-minimal fields
by: Freni, Pietro
Published: (2024)

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

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

Quantales carrying ortholattice structure
by: Botur, Michal, et al.
Published: (2026)

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

Extension of Lipschitz maps definable in Hensel minimal structures
by: Nowak, Krzysztof Jan
Published: (2022)

Integration in Hensel minimal fields
by: Stout, Mathias, et al.
Published: (2025)

Associativity and Commutativity of Partially Ordered Rings
by: Schötz, Matthias
Published: (2023)

Decomposing the automorphism group of the surreal numbers
by: Kaplan, Elliot, et al.
Published: (2025)

About closed subsets definable in Hensel minimal structures
by: Nowak, Krzysztof Jan
Published: (2024)

Forking in valued fields and related structures
by: Hossain, Akash
Published: (2024)

Restricted analytic valued fields with partial exponentiation
by: Ángel, Leonardo, et al.
Published: (2023)

Modal-Rectification-Based Directional Edge Diffusion for Cartesian Convection--Diffusion Problems
by: Bomisso, Gossrin Jean-Marc, et al.
Published: (2026)

On $\mathscr{T}$-based orthomodular dynamic algebras
by: Paseka, Jan, et al.
Published: (2026)

Equational theories of idempotent semifields
by: Metcalfe, George, et al.
Published: (2024)

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

Growing Spines: Ad Infinitum et Ad Infinitesimalia
by: Boissonneau, Blaise, et al.
Published: (2025)

Factorization of polynomials over the symmetrized tropical semiring and Descartes' rule of sign over ordered valued fields
by: Akian, Marianne, et al.
Published: (2023)

Generalized connectedness and Bertini-type theorems over real closed fields
by: Ouyang, Yi, et al.
Published: (2025)

Spherically complete models of Hensel minimal valued fields
by: Bradley-Williams, David, et al.
Published: (2021)

An Implicitly Restarted Joint Bidiagonalization Algorithm for Large GSVD Computations
by: Fang, Kaixiao, et al.
Published: (2025)

Transasymptotic expansions of o-minimal germs
by: Rolin, Jean-Philippe, et al.
Published: (2024)

A finitary Kronecker's lemma and large deviations in the Strong Law of Large numbers on Banach spaces
by: Neri, Morenikeji
Published: (2024)

Hamiltonian Interface Dynamics for Reduced-Order Optimization of Incompressible Mixing
by: Li, Ziqian, et al.
Published: (2026)

Duality Theory for Bounded Lattices: A Comparative Study
by: Bezhanishvili, Guram, et al.
Published: (2025)

Rigid Real Closed Fields
by: Marker, David, et al.
Published: (2024)

Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices
by: Putra, Juanda Kelana, et al.
Published: (2026)

Embedding the prime model of real exponentiation into o-minimal exponential fields
by: Krapp, Lothar Sebastian
Published: (2023)

Three Fixed-Dimension Satisfiability Semantics for Quantum Logic: Implications and an Explicit Separator
by: Higuchi, Joaquim Reizi
Published: (2026)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Growing Spines Ad Infinitum
by: Boissonneau, Blaise, et al.
Published: (2025)

Differentially Henselian Fields
by: Ng, Gabriel
Published: (2023)

Factorization type probabilities of polynomials with prescribed coefficients over a finite field
by: Slavov, Kaloyan
Published: (2019)

Carryless Pairing: Additive Pairing in the Fibonacci Basis
by: Rosko, Milan
Published: (2025)

The representing localic groupoid for a geometric theory
by: Manuell, Graham, et al.
Published: (2023)

A criterion for $p$-closedness of derivations in dimension two
by: Mitsui, Kentaro, et al.
Published: (2024)

Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)