Quantifier elimination for neocompact sets

DOI10.2307/2586661MaRDI QIDQ4254692zbMATH OpenOpenAlexFDO

Authors 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

law structureneocompact formulasneocompact setsquantifier elimination

Mathematics Subject Classification ID

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

Recommendations

• Neocompact quantifier elimination in structures based on Banach spaces
• Consequences of neocompact quantifier elimination
• Nonstandard methods for finite structures
• On elimination of quantifiers in some non-classical mathematical theories

Cites work

• Existence theorems in probability theory
• From discrete to continuous time
• scientific article; zbMATH DE number 3112450 (Why is no real title available?)
• scientific article; zbMATH DE number 3274494 (Why is no real title available?)
• Neometric spaces
• Nonstandard hulls of Banach spaces
• The elementary theory of restricted analytic fields with exponentiation

Cited in

(7)

• Why saturated probability spaces are necessary
• Rich and saturated adapted spaces
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
• The prospects for mathematical logic in the twenty-first century
• scientific article; zbMATH DE number 5582998 (Why is no real title available?)
• Consequences of neocompact quantifier elimination
• Neocompact quantifier elimination in structures based on Banach spaces

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4254692)