Separably real closed local rings

DOI10.1016/0022-4049(86)90068-XzbMath0604.18003MaRDI QIDQ1083520

André Joyal, Gonzalo E. Reyes

Publication date: 1986

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

toposelimination of quantifierssemi-algebraic geometryDedekind realscoherent axiomatizationseparably real closed local ringvariable reals

Mathematics Subject Classification ID

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

Anneaux p-adiquement clos et anneaux de fonctions définissables ⋮ Limits, colimits, and spectra of modelled spaces ⋮ Infinitesimally stable theories of henselian rings ⋮ Constructive completions of ordered sets, groups and fields ⋮ The p-adic spectrum

Cites Work

• Completeness results for intuitionistic and modal logic in a categorical setting
• Anneaux locaux henséliens
• La logique des topos
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item