An omitting types theorem for positive bounded formulas in normed spaces (Q5935997)
From MaRDI portal
scientific article; zbMATH DE number 1612857
Language | Label | Description | Also known as |
---|---|---|---|
English | An omitting types theorem for positive bounded formulas in normed spaces |
scientific article; zbMATH DE number 1612857 |
Statements
An omitting types theorem for positive bounded formulas in normed spaces (English)
0 references
2 July 2001
0 references
nonstandard hulls
0 references
omitting types theorem
0 references
normed space structures
0 references
Tsirelson space
0 references
approximate truth
0 references
convergence
0 references