Omitting types in logic of metric structures

DOI10.1142/S021906131850006XMaRDI QIDQ4562435zbMATH OpenOpenAlexWikidataFDO

Authors 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

zbMATH Keywords

complete \(\Pi_1^1\) setscomplete \(\Sigma_2^1\) setslogic of metric structuresomitting types

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• On a criterion for omissibility of a countable set of types in an incomplete theory
• Models omitting given complete types
• Omitting types for infinitary \([0,1]\)-valued logic
• A generalization of Shelah's omitting types theorem
• Completions, complete representations and omitting types

Cites work

• A proof of completeness for continuous first-order logic
• Definability of groups in ℵ₀-stable metric structures
• Existentially closed \(\mathrm{ II}_1\) factors
• scientific article; zbMATH DE number 5975294 (Why is no real title available?)
• scientific article; zbMATH DE number 3467077 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1388189 (Why is no real title available?)
• Logic and operator algebras
• Metric Scott analysis
• Model theoretic forcing in analysis
• Model theory for metric structures
• Model theory of operator algebras. II: Model theory
• Model-theoretic aspects of the Gurarij operator system
• Nuclear dimension and Z-stability
• Omitting types and AF algebras
• Omitting types for infinitary \([0,1]\)-valued logic
• Omitting types in operator systems
• Omitting uncountable types and the strength of \([0,1]\)-valued logics
• On Kirchberg's embedding problem
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Regularity properties in the classification program for separable amenable C*-algebras
• Robinson forcing and the quasidiagonality problem
• Set theory.
• Set theory. Exploring independence and truth
• The descriptive classification of some classes of C^*-algebras
• The Descriptive Set Theory of C*-algebra Invariants
• The isomorphism relation for separable \(C^\ast\)-algebras
• The pseudoarc is a co-existentially closed continuum
• Turbulence, orbit equivalence, and the classification of nuclear \(C^*\)-algebras

Cited in

(14)

• Models omitting given complete types
• Model-theoretic properties of dynamics on the Cantor set
• Omitting types and AF algebras
• Omitting uncountable types and the strength of \([0,1]\)-valued logics
• Two applications of topology to model theory
• Robinson forcing and the quasidiagonality problem
• On a criterion for omissibility of a countable set of types in an incomplete theory
• Model theory of \(C^*\)-algebras
• Omitting types and the real line
• Omitting types for infinitary \([0,1]\)-valued logic
• AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS
• Enforceable operator algebras
• An omitting types theorem for saturated structures
• Quantum expanders and quantifier reduction for tracial von Neumann algebras

This page was built for publication: Omitting types in logic of metric structures

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