Pages that link to "Item:Q3053471"
From MaRDI portal
The following pages link to Continuous first order logic and local stability (Q3053471):
Displayed 50 items.
- Reduction of database independence to dividing in atomless Boolean algebras (Q283121) (← links)
- The model theory of modules of a \(C^*\)-algebra (Q365663) (← links)
- On pseudo-finite dimensions (Q372625) (← links)
- Omitting types for infinitary \([0,1]\)-valued logic (Q386155) (← links)
- Model theory of operator algebras. II: Model theory (Q466085) (← links)
- Definable closure in randomizations (Q487692) (← links)
- The dynamical hierarchy for Roelcke precompact Polish groups (Q501861) (← links)
- Polish groups and Baire category methods (Q507021) (← links)
- Polish \(G\)-spaces and continuous logic (Q508826) (← links)
- Locally compact groups which are separably categorical structures (Q512136) (← links)
- Model theoretic stability and categoricity for complete metric spaces (Q532608) (← links)
- Metric structures and probabilistic computation (Q541224) (← links)
- Model-theoretic independence in the Banach lattices \(L_{p}(\mu)\) (Q636032) (← links)
- Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
- Hilbert spaces with generic groups of automorphisms (Q877262) (← links)
- On the theory of \(L_p (L_q)\)-Banach lattices (Q885057) (← links)
- Generic separable metric structures (Q935262) (← links)
- Model theoretic forcing in analysis (Q1012328) (← links)
- Categoricity in homogeneous complete metric spaces (Q1016502) (← links)
- Topometric spaces and perturbations of metric structures (Q1039539) (← links)
- On a Roelcke-precompact Polish group that cannot act transitively on a complete metric space (Q1650009) (← links)
- Model-theoretic aspects of the Gurarij operator system (Q1670336) (← links)
- A completeness theorem for continuous predicate modal logic (Q1712937) (← links)
- On theories of random variables (Q1955792) (← links)
- Internal sizes in \(\mu\)-abstract elementary classes (Q2001411) (← links)
- Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists (Q2217235) (← links)
- Infinite-dimensional Polish groups and property (T) (Q2225238) (← links)
- Maximal equivariant compactification of the Urysohn spaces and other metric structures (Q2227289) (← links)
- Encoding complete metric structures by classical structures (Q2228349) (← links)
- Minimal stable types in Banach spaces (Q2274025) (← links)
- The logic of integration (Q2391096) (← links)
- Retracted article: ``A completeness theorem for continuous predicate modal logic'' (Q2408087) (← links)
- Omitting uncountable types and the strength of \([0,1]\)-valued logics (Q2442152) (← links)
- MODEL THEORETIC STABILITY AND DEFINABILITY OF TYPES, AFTER A. GROTHENDIECK (Q2795208) (← links)
- SEPARABLE MODELS OF RANDOMIZATIONS (Q2795913) (← links)
- GREY SUBSETS OF POLISH SPACES (Q2795924) (← links)
- RECONSTRUCTION OF SEPARABLY CATEGORICAL METRIC STRUCTURES (Q2805034) (← links)
- Polish topometric groups (Q2846987) (← links)
- Haar measure and integral logic (Q2910983) (← links)
- Lipschitz functions on topometric spaces (Q2930870) (← links)
- MODEL THEORETIC PROPERTIES OF METRIC VALUED FIELDS (Q2933668) (← links)
- Topological matchings and amenability (Q2985958) (← links)
- Mereological foundations of point-free geometry via multi-valued logic (Q2987754) (← links)
- Stable group theory and approximate subgroups (Q3115811) (← links)
- Quantified universes and ultraproducts (Q3117781) (← links)
- Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic (Q3178235) (← links)
- Multi-valued Logic for a Point-Free Foundation of Geometry (Q3295804) (← links)
- FORKING AND STABILITY IN THE REPRESENTATIONS OF A <i>C</i>*-ALGEBRA (Q3450804) (← links)
- A note on infinitary continuous logic (Q3460523) (← links)
- (Q4571867) (← links)