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

DOI10.4115/JLA.2011.3.11MaRDI QIDQ5894809zbMATH OpenOpenAlexFDO

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

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)

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

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)