scientific article; zbMATH DE number 3995865

zbMath0615.14017MaRDI QIDQ4723875

Max A. Dickmann

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

quantifier eliminationreal spectrumreal algebraic geometryapplications of model theory

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Real algebraic and real-analytic geometry (14Pxx)

Related Items (10)

Analogy and Its Surprises: An Eyewitness’s Reflections on the Emergence of Real Algebraic Geometry ⋮ A bibliography of quantifier elimination for real closed fields ⋮ Real spectra and \(\ell\)-spectra of algebras and vector lattices over countable fields ⋮ Faithfully quadratic rings ⋮ Real spectrum versus \(\ell\)-spectrum via Brumfiel spectrum ⋮ Invariant computations for analytic projective geometry ⋮ Computational algebraic geometry of projective configurations ⋮ Spectral spaces of countable Abelian lattice-ordered groups ⋮ The order structure of the real spectrum of commutative rings ⋮ Saturation and stability in the theory of computation over the reals

This page was built for publication: