The following pages link to (Q4411217):
Displayed 29 items.
- Model theoretic stability and categoricity for complete metric spaces (Q532608) (← links)
- Definable types over Banach spaces (Q558438) (← links)
- Model-theoretic independence in the Banach lattices \(L_{p}(\mu)\) (Q636032) (← links)
- Some new results on decidability for elementary algebra and geometry (Q714712) (← links)
- On the theory of \(L_p (L_q)\)-Banach lattices (Q885057) (← links)
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
- A theorem of Hrushovski-Solecki-Vershik applied to uniform and coarse embeddings of the Urysohn metric space (Q935258) (← links)
- Model theoretic forcing in analysis (Q1012328) (← links)
- Categoricity in homogeneous complete metric spaces (Q1016502) (← links)
- On eigenvectors, approximations and the Feynman propagator (Q1616775) (← links)
- New axiomatizable classes of Banach spaces via disjointness-preserving isometries (Q1746031) (← links)
- Simple stable homogeneous expansions of Hilbert spaces (Q1877091) (← links)
- Internal sizes in \(\mu\)-abstract elementary classes (Q2001411) (← links)
- Splitting chains, tunnels and twisted sums (Q2022803) (← links)
- Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists (Q2217235) (← links)
- Continuous logic and embeddings of Lebesgue spaces (Q2219090) (← links)
- Ranges of positive contractive projections in Nakano spaces (Q2270512) (← links)
- Minimal stable types in Banach spaces (Q2274025) (← links)
- Corrigendum to: ``On separably injective Banach spaces'' (Q2401703) (← links)
- Omitting uncountable types and the strength of \([0,1]\)-valued logics (Q2442152) (← links)
- Continuous first order logic and local stability (Q3053471) (← links)
- Some logical metatheorems with applications in functional analysis (Q4819747) (← links)
- (Dual) Hoops Have Unique Halving (Q4913866) (← links)
- Asymptotically hilbertian modular Banach spaces: examples of uncountable categoricity (Q4968328) (← links)
- PROOF MINING IN <i>L</i><sup><i>p</i></sup> SPACES (Q5207569) (← links)
- COMPUTABILITY AND THE CONNES EMBEDDING PROBLEM (Q5346695) (← links)
- METRIC ABSTRACT ELEMENTARY CLASSES AS ACCESSIBLE CATEGORIES (Q5359573) (← links)
- An omitting types theorem for positive bounded formulas in normed spaces (Q5935997) (← links)
- Neocompact quantifier elimination in structures based on Banach spaces (Q5942464) (← links)