scientific article; zbMATH DE number 4000187
From MaRDI portal
Publication:4726439
zbMath0617.18004MaRDI QIDQ4726439
Publication date: 1985
Full work available at URL: https://eudml.org/doc/181750
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
toposelimination of quantifierssemi-algebraic geometryDedekind realscoherent axiomatizationseparably real closed local ringvariable reals
Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Quantifier elimination, model completeness, and related topics (03C10) Henselian rings (13J15) Real algebraic and real-analytic geometry (14Pxx)
Related Items (1)
This page was built for publication: