An omitting types theorem for positive bounded formulas in normed spaces
From MaRDI portal
Publication:5935997
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)
convergence; Tsirelson space; approximate truth; nonstandard hulls; normed space structures; omitting types theorem
46B20: Geometry and structure of normed linear spaces
46B08: Ultraproduct techniques in Banach space theory
03C65: Models of other mathematical theories
03C98: Applications of model theory
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