Pages that link to "Item:Q3053471"
From MaRDI portal
The following pages link to Continuous first order logic and local stability (Q3053471):
Displayed 27 items.
- UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES (Q4579805) (← links)
- Continuous propositional modal logic (Q4646652) (← links)
- Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic (Q4915092) (← links)
- Reduced products and sheaves of metric structures (Q4928971) (← links)
- Sheaf representations and locality of Riesz spaces with order unit (Q4989721) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
- Separation for isometric group actions and hyperimaginary independence (Q5101295) (← links)
- Remarks on the NIP in a model (Q5109237) (← links)
- On the Descriptive Power of Probability Logic (Q5119670) (← links)
- Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces (Q5119903) (← links)
- Model theory of R-trees (Q5145847) (← links)
- The eal truth (Q5179272) (← links)
- Independence in randomizations (Q5223124) (← links)
- FRAÏSSÉ LIMITS OF METRIC STRUCTURES (Q5251360) (← links)
- AUTOMORPHISM GROUPS OF RANDOMIZED STRUCTURES (Q5359581) (← links)
- Thorn-forking in continuous logic (Q5388719) (← links)
- Model theory of operator algebras III: elementary equivalence and II<sub>1</sub>factors (Q5419248) (← links)
- Hilbert spaces expanded with a unitary operator (Q5505140) (← links)
- CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC (Q5855747) (← links)
- A topos for continuous logic (Q5868039) (← links)
- Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability (Q6047670) (← links)
- Unbounded actions of metric groups and continuous logic (Q6047681) (← links)
- Using ultrapowers to compare continuous structures (Q6073896) (← links)
- Generalized effective completeness for continuous logic (Q6091635) (← links)
- ℵ<sub>0</sub>‐categorical Banach spaces contain ℓp or <i>c</i><sub>0</sub> (Q6094125) (← links)
- Continuous stable regularity (Q6118364) (← links)
- Covering entropy for types in tracial W<sup>*</sup>-algebras (Q6170641) (← links)