An omitting types theorem for positive bounded formulas in normed spaces

DOI10.1016/S0168-0072(00)00052-XzbMath0989.03035MaRDI QIDQ5935997

No author found.

Publication date: 2 July 2001

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

zbMATH Keywords

convergenceTsirelson spaceapproximate truthnonstandard hullsnormed space structuresomitting types theorem

Mathematics Subject Classification ID

Geometry and structure of normed linear spaces (46B20) Ultraproduct techniques in Banach space theory (46B08) Models of other mathematical theories (03C65) Applications of model theory (03C98)

Cites Work

• Not every Banach space contains an imbedding of \(l_p\) or \(c_0\)
• When do two Banach spaces have isometrically isomorphic nonstandard hulls
• Nonstandard hulls of Banach spaces
• Nonreflexive spaces of type 2
• The distortion problem
• The Unconditional Basic Sequence Problem
• A Banach space block finitely universal for monotone bases
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item