Consequences of neocompact quantifier elimination

DOI10.1002/MALQ.200310014MaRDI QIDQ4804174zbMATH OpenOpenAlexFDO

Authors Stefano Baratella, Siu-Ah Ng

Publication date 10 April 2003

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200310014

zbMATH Keywords

nonstandard hullquantifier eliminationstrict convexityneocompact setsBanach space structuresneocompact formulapositive bounded formulaquantifier-free definability

Mathematics Subject Classification ID

Isometric theory of Banach spaces (46B04) Ultraproduct techniques in Banach space theory (46B08) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10) Nonstandard models in mathematics (03H05)

Recommendations

• Neocompact quantifier elimination in structures based on Banach spaces
• Quantifier elimination in the theory of \(L_p(L_q)\)-Banach lattices
• On elimination of quantifiers in some non-classical mathematical theories
• Quantifier elimination for neocompact sets
• Quantifier elimination for quasi-real closed fields

Cited in

(2)

• Quantifier elimination in the theory of \(L_p(L_q)\)-Banach lattices
• Neocompact quantifier elimination in structures based on Banach spaces

This page was built for publication: Consequences of neocompact quantifier elimination

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