Quantifier elimination for neocompact sets

DOI10.2307/2586661zbMath0928.03048OpenAlexW2130012710MaRDI QIDQ4254692

H. Jerome Keisler

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

zbMATH Keywords

quantifier eliminationlaw structureneocompact formulasneocompact sets

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (5)

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 ⋮ Neocompact quantifier elimination in structures based on Banach spaces ⋮ Why saturated probability spaces are necessary

Cites Work

• From discrete to continuous time
• Nonstandard hulls of Banach spaces
• The elementary theory of restricted analytic fields with exponentiation
• Neometric spaces
• Existence theorems in probability theory
• Unnamed Item
• Unnamed Item

This page was built for publication: Quantifier elimination for neocompact sets