Omitting types in logic of metric structures
From MaRDI portal
Publication:4562435
DOI10.1142/S021906131850006XOpenAlexW2962677089WikidataQ129774721 ScholiaQ129774721MaRDI QIDQ4562435
Ilijas Farah, Menachem Magidor
Publication date: 20 December 2018
Published in: Journal of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1411.2987
Related Items (6)
Two applications of topology to model theory ⋮ Robinson forcing and the quasidiagonality problem ⋮ AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS ⋮ ENFORCEABLE OPERATOR ALGEBRAS ⋮ Model theory of 𝐶*-algebras ⋮ Model-theoretic properties of dynamics on the Cantor set
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The pseudoarc is a co-existentially closed continuum
- Omitting types for infinitary \([0,1\)-valued logic]
- Model theory of operator algebras. II: Model theory
- Nuclear dimension and \(\mathcal Z\)-stability
- Model theoretic forcing in analysis
- Model-theoretic aspects of the Gurarij operator system
- On Kirchberg's embedding problem
- Metric Scott analysis
- Omitting types and AF algebras
- Omitting uncountable types and the strength of \([0,1\)-valued logics]
- Turbulence, orbit equivalence, and the classification of nuclear \(C^*\)-algebras
- Set theory. Exploring independence and truth
- The isomorphism relation for separable \(C^\ast\)-algebras
- Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
- Existentially closed ${\rm II}_1$ factors
- Robinson forcing and the quasidiagonality problem
- Regularity properties in the classification program for separable amenable C*-algebras
- Definability of groups in ℵ0-stable metric structures
- Omitting types in operator systems
- A proof of completeness for continuous first-order logic
- The Descriptive Set Theory of C*-algebra Invariants
- Logic and operator algebras
This page was built for publication: Omitting types in logic of metric structures
