Pages that link to "Item:Q1012328"
From MaRDI portal
The following pages link to Model theoretic forcing in analysis (Q1012328):
Displaying 20 items.
- Omitting types for infinitary \([0,1]\)-valued logic (Q386155) (← links)
- Saturation and elementary equivalence of \(C^\ast\)-algebras (Q490729) (← links)
- Polish \(G\)-spaces and continuous logic (Q508826) (← links)
- Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
- Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists (Q2217235) (← links)
- Encoding complete metric structures by classical structures (Q2228349) (← links)
- Metric groups, unitary representations and continuous logic (Q2236371) (← links)
- On Kirchberg's embedding problem (Q2344853) (← links)
- Metric Scott analysis (Q2401685) (← links)
- Existentially closed ${\rm II}_1$ factors (Q2804295) (← links)
- THE MODAL LOGIC OF INNER MODELS (Q2805035) (← links)
- The conjugacy problem for automorphism groups of countable homogeneous structures (Q2958218) (← links)
- Robinson forcing and the quasidiagonality problem (Q2974049) (← links)
- Model theory of 𝐶*-algebras (Q3380556) (← links)
- Omitting types in logic of metric structures (Q4562435) (← links)
- AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS (Q4632539) (← links)
- ENFORCEABLE OPERATOR ALGEBRAS (Q5147671) (← links)
- Unbounded actions of metric groups and continuous logic (Q6047681) (← links)
- On the complexity of the theory of a computably presented metric structure (Q6077947) (← links)
- CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS (Q6180614) (← links)