An Omitting Types Theorem for positive bounded formulas in normed spaces

✍ Scribed by Carlos Ortiz

• Publisher: Elsevier Science
• Year: 2001
• Tongue: English
• Weight: 146 KB
• Volume: 108
• Category: Article
• ISSN: 0168-0072
• DOI: 10.1016/s0168-0072(00)00052-x

✦ Synopsis

Inspired by a construction of the Tsirelson space (Lindenstrauss and Tzafriri, Classical Banach Spaces, Springer, Berlin, 1977), we prove a general theorem for omitting countably many positive formulas in normed spaces. This theorem can be used in functional analysis as a tool to guarantee the existence of complicated normed spaces without having to construct them. The proof of this result is based on the notion of approximate truth and on a study of the relationship between approximate truth and convergence in normed spaces. We illustrate the power of this result with an application to functional analysis.