Geometric theories for the algebra of real numbers
From MaRDI portal
Publication:4635369
Recommendations
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
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)