Pages that link to "Item:Q4562435"
From MaRDI portal
The following pages link to Omitting types in logic of metric structures (Q4562435):
Displaying 11 items.
- Omitting types for infinitary \([0,1]\)-valued logic (Q386155) (← links)
- An omitting types theorem for saturated structures (Q688799) (← links)
- Models omitting given complete types (Q1049741) (← links)
- Model-theoretic properties of dynamics on the Cantor set (Q2080699) (← links)
- Omitting types and AF algebras (Q2436615) (← links)
- Omitting uncountable types and the strength of \([0,1]\)-valued logics (Q2442152) (← links)
- Two applications of topology to model theory (Q2660154) (← links)
- Robinson forcing and the quasidiagonality problem (Q2974049) (← links)
- Model theory of 𝐶*-algebras (Q3380556) (← links)
- AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS (Q4632539) (← links)
- ENFORCEABLE OPERATOR ALGEBRAS (Q5147671) (← links)