Quantifier elimination for neocompact sets
From MaRDI portal
Publication:4254692
DOI10.2307/2586661zbMath0928.03048MaRDI QIDQ4254692
Publication date: 9 January 2000
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586661
54E35: Metric spaces, metrizability
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Neocompact quantifier elimination in structures based on Banach spaces, Why saturated probability spaces are necessary, Rich and saturated adapted spaces, 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000, The Prospects for Mathematical Logic in the Twenty-First Century
Cites Work