Geometric theories for the algebra of real numbers

DOI10.1090/CONM/697/14056MaRDI QIDQ4635369zbMATH OpenOpenAlexFDO

Authors Henri Lombardi, Assia Mahboubi

Publication date 16 April 2018

Published in Ordered Algebraic Structures and Related Topics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/conm/697/14056

zbMATH Keywords

real algebraconstructive algebrareal closed ringdynamical theory.

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Semialgebraic sets and related spaces (14P10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Real algebra (13J30)

Recommendations

• scientific article; zbMATH DE number 29408
• An Intuitionistic Axiomatisation of Real Closed Fields
• The fundamental theorem of algebra: a constructive development without choice.
• scientific article; zbMATH DE number 4210287
• A note on the axiomatisation of real numbers

Cites work

• scientific article; zbMATH DE number 1824113 (Why is no real title available?)
• scientific article; zbMATH DE number 4210287 (Why is no real title available?)
• scientific article; zbMATH DE number 1201576 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 3997974 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE
• A note on the axiomatisation of real numbers
• A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field
• An algorithmic approach to Schmüdgen's Positivstellensatz
• An elementary recursive bound for effective Positivstellensatz and Hilbert's 17th problem
• Approximate roots of a valuation and the Pierce-Birkhoff conjecture
• Budan tables of real univariate polynomials
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9--13, 2013
• Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
• Dynamical method in algebra: Effective Nullstellensätze
• Generalized Budan--Fourier theorem and virtual roots
• Iterated rings of bounded elements and generalizations of Schmüdgens Positivstellensatz
• Mathematical logic.
• Morita equivalence
• On the Pierce-Birkhoff conjecture
• Pierce-Birkhoff rings
• Real closed spaces
• Remarks on Barr's theorem: proofs in geometric theories
• Super real closed rings
• The K-moment problem for compact semi-algebraic sets
• Virtual roots of a real polynomial and fractional derivatives
• Virtual roots of real polynomials

Cited in

(2)

• Valuative Lattices and Spectra
• Constructive hybrid games

This page was built for publication: Geometric theories for the algebra of real numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635369)