Geometric theories for the algebra of real numbers

DOI10.1090/CONM/697/14056zbMATH Open1393.13048OpenAlexW2620925592MaRDI QIDQ4635369FDOQ4635369

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

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
• A note on the axiomatisation of real numbers

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)

Cites Work

• Title not available (Why is that?)
• The \(K\)-moment problem for compact semi-algebraic sets
• Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9--13, 2013
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mathematical logic.
• Title not available (Why is that?)
• An Elementary Recursive Bound for Effective Positivstellensatz and Hilbert’s 17th problem
• Pierce-Birkhoff rings
• On the Pierce-Birkhoff conjecture
• An algorithmic approach to Schmüdgen's Positivstellensatz
• Title not available (Why is that?)
• Title not available (Why is that?)
• Approximate roots of a valuation and the Pierce-Birkhoff conjecture
• 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
• Super real closed rings
• Real closed spaces
• Generalized Budan--Fourier theorem and virtual roots
• Title not available (Why is that?)
• Virtual roots of real polynomials
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• Iterated rings of bounded elements and generalizations of Schmüdgens Positivstellensatz
• MORITA EQUIVALENCE
• A real Nullstellensatz and Positivstellensatz for the semipolynomials over an ordered field
• Budan tables of real univariate polynomials
• Remarks on Barr’s Theorem: Proofs in Geometric Theories
• A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE
• A note on the axiomatisation of real numbers
• Virtual roots of a real polynomial and fractional derivatives

Cited In (1)

• 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)