Separably real closed local rings
From MaRDI portal
Publication:1083520
DOI10.1016/0022-4049(86)90068-XzbMath0604.18003MaRDI QIDQ1083520
Publication date: 1986
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
topos; elimination of quantifiers; semi-algebraic geometry; Dedekind reals; coherent axiomatization; separably real closed local ring; variable reals
18B25: Topoi
18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
03C10: Quantifier elimination, model completeness, and related topics
13J15: Henselian rings
14Pxx: Real algebraic and real-analytic geometry
Related Items
Limits, colimits, and spectra of modelled spaces, Infinitesimally stable theories of henselian rings, The p-adic spectrum, Constructive completions of ordered sets, groups and fields, Anneaux p-adiquement clos et anneaux de fonctions définissables
Cites Work