Consequences of neocompact quantifier elimination (Q4804174)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1896665
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8417700529098511
0 references
0.6971733570098877
0 references
0.6903631091117859
0 references
0.6800992488861084
0 references
0.6793435215950012
0 references
