Model theoretic forcing in analysis
From MaRDI portal
Publication:1012328
DOI10.1016/j.apal.2007.10.011zbMath1160.03010arXiv0810.4068OpenAlexW2060951741MaRDI QIDQ1012328
Publication date: 16 April 2009
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0810.4068
continuous logicomitting typesseparable quotient problemmodel-theoretic forcingBanach space model theory
Normed linear spaces and Banach spaces; Banach lattices (46B99) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Models of other mathematical theories (03C65) Applications of model theory (03C98) Model-theoretic forcing (03C25)
Related Items
Omitting types in logic of metric structures ⋮ Metric Scott analysis ⋮ Omitting types for infinitary \([0,1\)-valued logic] ⋮ Unbounded actions of metric groups and continuous logic ⋮ On the complexity of the theory of a computably presented metric structure ⋮ The conjugacy problem for automorphism groups of countable homogeneous structures ⋮ CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS ⋮ Effectiveness in RPL, with applications to continuous logic ⋮ Robinson forcing and the quasidiagonality problem ⋮ Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists ⋮ AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS ⋮ Encoding complete metric structures by classical structures ⋮ Saturation and elementary equivalence of \(C^\ast\)-algebras ⋮ ENFORCEABLE OPERATOR ALGEBRAS ⋮ Metric groups, unitary representations and continuous logic ⋮ Polish \(G\)-spaces and continuous logic ⋮ Existentially closed ${\rm II}_1$ factors ⋮ Model theory of 𝐶*-algebras ⋮ On Kirchberg's embedding problem
Cites Work