Elimination of quantifiers for ordered valuation rings
From MaRDI portal
Publication:3762295
DOI10.2307/2273866zbMath0624.03025MaRDI 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
03C60: Model-theoretic algebra
13L05: Applications of logic to commutative algebra
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Weakly o-minimal structures and real closed fields, A note on prime models in weakly o‐minimal structures, On the strong cell decomposition property for weakly o-minimal structures, Boolean products of real closed valuation rings and fields, An algebraic characterization of o-minimal and weakly o-minimal MV-chains, 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, 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, Strong cell decomposition property in o-minimal traces, Imaginaries in real closed valued fields, Tame properties of sets and functions definable in weakly o-minimal structures, On almost omega-categoricity of weakly o-minimal theories, Vapnik-Chervonenkis density in some theories without the independence property, I, Pseudo definably connected definable sets
Cites Work