Pages that link to "Item:Q1234461"

The following pages link to Nonstandard hulls of Banach spaces (Q1234461):

Displaying 46 items.

• Omitting types for infinitary \([0,1]\)-valued logic (Q386155) (← links)
• The Banach spaces \(l_ p(n)\) for large p and n (Q584692) (← links)
• Model-theoretic independence in the Banach lattices \(L_{p}(\mu)\) (Q636032) (← links)
• Categoricity in homogeneous complete metric spaces (Q1016502) (← links)
• On the existence of universal models (Q1762730) (← links)
• Games and Scott sentences for positive distances between metric structures (Q2140580) (← links)
• Amalgamation and Ramsey properties of \(L_p\) spaces (Q2182285) (← links)
• Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists (Q2217235) (← links)
• Minimal stable types in Banach spaces (Q2274025) (← links)
• Corrigendum to: ``On separably injective Banach spaces'' (Q2401703) (← links)
• Co-elementary equivalence for compact Hausdorff spaces and compact abelian groups (Q2639052) (← links)
• Continuous and random Vapnik-Chervonenkis classes (Q2655764) (← links)
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)
• European Summer Meeting of the Association for Symbolic Logic, Hull, 1986 (Q3030791) (← links)
• A note on elementary equivalence of <i>C(K)</i> spaces (Q3030832) (← links)
• Model-Theoretic Characterizations of Arcs and Simple Closed Curves (Q3032235) (← links)
• Compactness and Independence in Non First Order Frameworks (Q3370626) (← links)
• Taxonomies of model-theoretically defined topological properties (Q3496325) (← links)
• Normed lattices with discrete ultrapowers (Q3560975) (← links)
• Expressive power in first order topology (Q3695266) (← links)
• Elementary equivalence of <i>C</i>_<i>σ</i>(<i>K</i>) spaces for totally disconnected, compact Hausdorff K (Q3727995) (← links)
• Reduced coproducts of compact Hausdorff spaces (Q3772897) (← links)
• Nonstandard Extensions of Transformations Between Banach Spaces (Q3899038) (← links)
• A theorem on the isomorphism property (Q4032878) (← links)
• 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
• Quantifier elimination for neocompact sets (Q4254692) (← links)
• Annual meeting of the Association for Symbolic Logic, Notre Dame, 1993 (Q4302362) (← links)
• Winter meeting of the Association for Symbolic Logic, San Antonio, 1993 (Q4302363) (← links)
• On the maximality of logics with approximations (Q4328843) (← links)
• Definability in functional analysis (Q4358051) (← links)
• 2002–2003 Winter Meeting of the Association for Symbolic Logic (Q4650307) (← links)
• (Q4695119) (← links)
• X Latin American Symposium on Mathematical Logic (Q4897043) (← links)
• A hierarchy of maps between compacta (Q4948532) (← links)
• Sheaf representations and locality of Riesz spaces with order unit (Q4989721) (← links)
• CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS (Q5082059) (← links)
• A proof of completeness for continuous first-order logic (Q5190194) (← links)
• PROOF MINING IN <i>L</i>^<i>p</i> SPACES (Q5207569) (← links)
• Model theory of operator algebras III: elementary equivalence and II₁factors (Q5419248) (← links)
• Uncountable dense categoricity in cats (Q5718690) (← links)
• Approximately finite-dimensional Banach spaces (Q5896413) (← links)
• Approximately finite-dimensional Banach spaces (Q5902583) (← 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)
• ℵ₀‐categorical Banach spaces contain ℓp or <i>c</i>₀ (Q6094125) (← links)
• CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS (Q6180614) (← links)