Pages that link to "Item:Q386155"
From MaRDI portal
The following pages link to Omitting types for infinitary \([0,1]\)-valued logic (Q386155):
Displaying 11 items.
- Saturation and elementary equivalence of \(C^\ast\)-algebras (Q490729) (← links)
- Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists (Q2217235) (← links)
- Encoding complete metric structures by classical structures (Q2228349) (← links)
- Metric Scott analysis (Q2401685) (← links)
- Omitting uncountable types and the strength of \([0,1]\)-valued logics (Q2442152) (← links)
- Two applications of topology to model theory (Q2660154) (← links)
- The conjugacy problem for automorphism groups of countable homogeneous structures (Q2958218) (← links)
- Model theory of 𝐶*-algebras (Q3380556) (← links)
- Omitting types in logic of metric structures (Q4562435) (← links)
- An omitting types theorem for positive bounded formulas in normed spaces (Q5935997) (← links)
- CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS (Q6180614) (← links)
