Neocompact quantifier elimination in structures based on Banach spaces

DOI10.1016/S0168-0072(01)00036-7zbMath0980.03066OpenAlexW2004505433WikidataQ127370927 ScholiaQ127370927MaRDI QIDQ5942464

Stefano Baratella, Siu-Ah Ng

Publication date: 11 September 2001

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(01)00036-7

zbMATH Keywords

Banach space structuresneocompactnonstandard hull

Mathematics Subject Classification ID

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

Cites Work

• Model theory.
• Nonstandard hulls of the classical Banach spaces
• Nonstandard hulls of Banach spaces
• The elementary theory of restricted analytic fields with exponentiation
• Neometric spaces
• Existence theorems in probability theory
• Quantifier elimination for neocompact sets
• Fixed points in the nonstandard hull of a Banach space
• Application des ultraproduits à l'étude des espaces et des algèbres de Banach
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Neocompact quantifier elimination in structures based on Banach spaces