Quantifier elimination in the theory of Lp(Lq)-Banach lattices (Q5894808)
From MaRDI portal
scientific article; zbMATH DE number 6116153
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quantifier elimination in the theory of Lp(Lq)-Banach lattices |
scientific article; zbMATH DE number 6116153 |
Statements
Quantifier elimination in the theory of Lp(Lq)-Banach lattices (English)
0 references
17 December 2012
0 references
surreal numbers
0 references
ordered binary trees
0 references
divisible ordered abelian groups
0 references
real-closed ordered fields
0 references
Conway name
0 references
