Elimination of quantifiers for ordered valuation rings
From MaRDI portal
Publication:3762295
DOI10.2307/2273866zbMath0624.03025OpenAlexW2031773420MaRDI QIDQ3762295
Publication date: 1987
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273866
Model-theoretic algebra (03C60) Applications of logic to commutative algebra (13L05) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (18)
Imaginaries in real closed valued fields ⋮ On almost omega-categoricity of weakly o-minimal theories ⋮ An algebraic characterization of o-minimal and weakly o-minimal MV-chains ⋮ Strongly NIP almost real closed fields ⋮ A criterion for the strong cell decomposition property ⋮ A note on prime models in weakly o‐minimal structures ⋮ Strong cell decomposition property in o-minimal traces ⋮ Tame properties of sets and functions definable in weakly o-minimal structures ⋮ On the strong cell decomposition property for weakly o-minimal structures ⋮ Some definable properties of sets in non-valuational weakly o-minimal structures ⋮ \(p\)-convexly valued rings ⋮ Preservation of \(\omega\)-categoricity in expanding the models of weakly \(o\)-minimal theories ⋮ Vapnik-Chervonenkis density in some theories without the independence property, I ⋮ Boolean products of real closed valuation rings and fields ⋮ Pseudo definably connected definable sets ⋮ Algebras of distributions of binary isolating formulas for almost \(\omega \)-categorical weakly \(o\)-minimal theories ⋮ Quantifier elimination for o-minimal structures expanded by a valuational cut ⋮ Weakly o-minimal structures and real closed fields
Cites Work
This page was built for publication: Elimination of quantifiers for ordered valuation rings
