Pages that link to "Item:Q386155"
From MaRDI portal
The following pages link to Omitting types for infinitary \([0,1]\)-valued logic (Q386155):
Displaying 9 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)
- 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)
- CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS (Q6180614) (← links)