Quantifier elimination in the theory of L_p(L_q)-Banach lattices

DOI10.4115/JLA.2011.3.11zbMATH Open1285.03042OpenAlexW2136744537MaRDI QIDQ5894809FDOQ5894809

Authors: C. Ward Henson, Yves Raynaud 

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

Recommendations

• On the theory of \(L_p (L_q)\)-Banach lattices
• Consequences of neocompact quantifier elimination
• Quantifier Elimination for Distributive Lattices and Measure Algebras
• Model-theoretic independence in the Banach lattices \(L_{p}(\mu)\)
• Quantifier elimination in C\(^\ast\)-algebras

zbMATH Keywords

Banach latticemodel theoryquantifier eliminationmetric structure

Mathematics Subject Classification ID

Banach lattices (46B42) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10) Ultraproducts in functional analysis (46M07)

Cited In (5)

• Quantifier Elimination for Distributive Lattices and Measure Algebras
• Consequences of neocompact quantifier elimination
• New axiomatizable classes of Banach spaces via disjointness-preserving isometries
• On the theory of \(L_p (L_q)\)-Banach lattices
• Neocompact quantifier elimination in structures based on Banach spaces

This page was built for publication: Quantifier elimination in the theory of \(L_p(L_q)\)-Banach lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5894809)