Consequences of neocompact quantifier elimination (Q4804174)
From MaRDI portal
scientific article; zbMATH DE number 1896665
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Consequences of neocompact quantifier elimination |
scientific article; zbMATH DE number 1896665 |
Statements
Consequences of neocompact quantifier elimination (English)
0 references
10 April 2003
0 references
neocompact formula
0 references
neocompact sets
0 references
positive bounded formula
0 references
nonstandard hull
0 references
quantifier elimination
0 references
Banach space structures
0 references
quantifier-free definability
0 references
strict convexity
0 references
