Real closed rings. II. Model theory

DOI10.1016/0168-0072(83)90019-2zbMath0538.03028OpenAlexW1985825462MaRDI QIDQ793009

Publication date: 1983

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

Full work available at URL: https://doi.org/10.1016/0168-0072(83)90019-2

zbMATH Keywords

prime ideals rings of continuous functions residue rings convex subrings of real closed fields model theory of real closed rings

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Ordered rings (13J25) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (52)

Real strict localizations ⋮ 2011 North American Annual Meeting of the Association for Symbolic Logic ⋮ Imaginaries in real closed valued fields ⋮ Unexpected imaginaries in valued fields with analytic structure ⋮ Anneaux p-adiquement clos et anneaux de fonctions définissables ⋮ An existence theorem for a special ultrafilter when 𝔡 = 𝔠 ⋮ ON THE SUBSTITUTION THEOREM FOR RINGS OF SEMIALGEBRAIC FUNCTIONS ⋮ Substructures and uniform elimination for p-adic fields ⋮ European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987 ⋮ T-convexity and tame extensions ⋮ Annual meeting of the Association for Symbolic Logic, Notre Dame, 1993 ⋮ NUMBER SYSTEMS WITH SIMPLICITY HIERARCHIES: A GENERALIZATION OF CONWAY’S THEORY OF SURREAL NUMBERS II ⋮ Anneaux de fonctions p-adiques ⋮ Positivstellensatz for semi-algebraic sets in real closed valued fields ⋮ Positive elimination in valued fields ⋮ Interpretable fields in various valued fields ⋮ Elimination of quantifiers for ordered valuation rings ⋮ On the Krull dimension of rings of continuous semialgebraic functions ⋮ Canonical forms for definable subsets of algebraically closed and real closed valued fields ⋮ Real closed valued fields with analytic structure ⋮ ON DEFINABLE SKOLEM FUNCTIONS IN WEAKLY O-MINIMAL NONVALUATIONAL STRUCTURES ⋮ Topological differential fields ⋮ Model theory and spectra ⋮ On the spectra of rings of semialgebraic functions ⋮ SV-rings and SV-porings ⋮ Tame properties of sets and functions definable in weakly o-minimal structures ⋮ A note on definable Skolem functions ⋮ Positive primitive formulae of modules over rings of semi-algebraic functions on a curve ⋮ Concerning real-closed ideals in \(\mathcal{R} L\) and SV-frames ⋮ Pillay's conjecture for groups definable in weakly o‐minimal non‐valuational structures ⋮ Existentially closed ordered difference fields and rings ⋮ What is o-minimality? ⋮ Quantifier elimination for quasi-real closed fields ⋮ XI Latin American Symposium on Mathematical Logic ⋮ Boolean products of real closed valuation rings and fields ⋮ Corps et Anneaux de Rolle ⋮ A Ganzstellensatz for Semialgebraic Sets and a Boundedness Criterion for Rational Functions ⋮ Model completeness of o-minimal structures expanded by Dedekind cuts ⋮ GANZSTELLENSÄTZE IN THEORIES OF VALUED FIELDS ⋮ On the size of the fibers of spectral maps induced by semialgebraic embeddings ⋮ The model theory of chain-closed fields ⋮ Definability in the group of infinitesimals of a compact Lie group ⋮ Real Closed Valuation Rings ⋮ Pro-definability of spaces of definable types ⋮ The order structure of the real spectrum of commutative rings ⋮ A note on valuation definable expansions of fields ⋮ Residue field domination in real closed valued fields ⋮ Valued Fields withKCommuting Derivations ⋮ MODEL COMPLETENESS OF O-MINIMAL FIELDS WITH CONVEX VALUATIONS ⋮ Note on differentially closed valued fields. (Note sur les corps différentiellement clos valués). ⋮ Weakly o-minimal structures and real closed fields ⋮ Relative elimination of quantifiers for Henselian valued fields

Cites Work

This page was built for publication: Real closed rings. II. Model theory