Quantifier elimination in the theory of Lp(Lq)-Banach lattices

DOI10.4115/jla.2011.3.11zbMath1285.03080OpenAlexW2136744537MaRDI QIDQ5894808

Philip Ehrlich

Publication date: 17 December 2012

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4115/jla.2011.3.11

zbMATH Keywords

surreal numbersConway namedivisible ordered abelian groupsordered binary treesreal-closed ordered fields

Mathematics Subject Classification ID

Total orders (06A05) Nonstandard models in mathematics (03H05) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Ordinal and cardinal numbers (03E10) Ordered fields (12J15)

Related Items (3)

NUMBER SYSTEMS WITH SIMPLICITY HIERARCHIES: A GENERALIZATION OF CONWAY’S THEORY OF SURREAL NUMBERS II ⋮ Surreal Birthdays and Their Arithmetic ⋮ SURREAL ORDERED EXPONENTIAL FIELDS

This page was built for publication: Quantifier elimination in the theory of Lp(Lq)-Banach lattices