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 latticemetric structuremodel theoryquantifier elimination

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Models of other mathematical theories (03C65) Banach lattices (46B42) 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^-algebras

Cited in

(7)

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

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)