On the real spectrum of a ring and its application to semialgebraic geometry

DOI10.1090/S0273-0979-1986-15431-5zbMath0634.14016OpenAlexW2095499482MaRDI QIDQ3772340

Eberhard Becker

Publication date: 1986

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0273-0979-1986-15431-5

zbMATH Keywords

real spectrumorderingsmodel theoryfiniteness theoremsemialgebraic geometryconstructible setsPositivstellensätze

Mathematics Subject Classification ID

Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Varieties and morphisms (14A10) Relevant commutative algebra (14A05) Other model constructions (03C30) Real algebraic and real-analytic geometry (14Pxx)

Related Items

Quotient spaces for semialgebraic equivalence relations ⋮ The spherical spectrum of a graded ring ⋮ On Bröcker's \(t\)-invariant and separating families for constructible sets ⋮ Analogy and Its Surprises: An Eyewitness’s Reflections on the Emergence of Real Algebraic Geometry ⋮ Computing final polynomials and final syzygies using Buchberger's Gröbner bases method ⋮ A bibliography of quantifier elimination for real closed fields ⋮ Quotients of semi-algebraic spaces ⋮ Semi-algebraic complexity -- Additive complexity of matrix computational tasks ⋮ Compactification of varieties ⋮ General non-realizability certificates for spheres with linear programming ⋮ Convex polarities over ordered fields ⋮ Semi-algebraic decision complexity, the real spectrum, and degree ⋮ Null- and Positivstellensätze for generalized real closed fields ⋮ Faithfully quadratic rings ⋮ The_p-rspectrum of a commutative ring ⋮ Local semianalytic geometry ⋮ Open locally semi-algebraic maps ⋮ Model theory and spectra ⋮ Complexity of global semianalytic sets in a real analytic manifold of dimension 2 ⋮ Computational algebraic geometry of projective configurations ⋮ Pierce-Birkhoff rings ⋮ Algebraic theory of differential inequalities ⋮ A relative notion of local completeness in semialgebraic geometry ⋮ Stability index of real varieties ⋮ On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines ⋮ Sur les anneaux de sections globales du faisceau structural sur le spectre reel ⋮ The order structure of the real spectrum of commutative rings ⋮ Separating families for semi-algebraic sets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Elementary structure of real algebraic varieties
• Minimale Erzeugung von Positivbereichen
• Lectures on formally real fields
• Positivbereiche in kommutativen Ringen
• Formally \(p\)-adic fields
• Real closed spaces
• Witt rings and K-theory
• An introduction to real algebra
• Locally semialgebraic spaces
• Semialgebraic topology over a real closed field. II: Basic theory of semialgebraic spaces
• Géométrie algébrique réelle et formes quadratiques. Journées Soc. Math. Fr., Université de Rennes 1, Mai 1981
• Der Raum der Zusammenhangskomponenten einer reellen Varietät
• Quadratic forms and the u-invariant. I
• A Nullstellensatz and a Positivstellensatz in semialgebraic geometry
• The homotopy axiom in semialgebraic cohomology.
• On the homology of algebraic varieties over real closed fields.
• La topologie du spectre réel
• A finiteness theorem for open semi-algebraic sets, with applications to Hilbert’s 17th problem
• Valuations and real places in the theory of formally real fields