Nonstandard hulls of Banach spaces

Related Items

1998 European Summer Meeting of the Association for Symbolic Logic, Quantifier elimination for neocompact sets, Games and Scott sentences for positive distances between metric structures, Model-Theoretic Characterizations of Arcs and Simple Closed Curves, Co-elementary equivalence for compact Hausdorff spaces and compact abelian groups, Elementary equivalence of C_σ(K) spaces for totally disconnected, compact Hausdorff K, Unnamed Item, Nonstandard Extensions of Transformations Between Banach Spaces, Continuous and random Vapnik-Chervonenkis classes, Corrigendum to: ``On separably injective Banach spaces, CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS, Annual meeting of the Association for Symbolic Logic, Notre Dame, 1993, Winter meeting of the Association for Symbolic Logic, San Antonio, 1993, Omitting types for infinitary \([0,1\)-valued logic], Amalgamation and Ramsey properties of \(L_p\) spaces, Taxonomies of model-theoretically defined topological properties, Enriched purity and presentability in Banach spaces, A theorem on the isomorphism property, ℵ₀‐categorical Banach spaces contain ℓp or c₀, Reduced coproducts of compact Hausdorff spaces, On the maximality of logics with approximations, CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS, Model-theoretic independence in the Banach lattices \(L_{p}(\mu)\), Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists, Definability in functional analysis, X Latin American Symposium on Mathematical Logic, Approximately finite-dimensional Banach spaces, 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000, Normed lattices with discrete ultrapowers, Approximately finite-dimensional Banach spaces, Uncountable dense categoricity in cats, 2002–2003 Winter Meeting of the Association for Symbolic Logic, Model theory of operator algebras III: elementary equivalence and II₁factors, European Summer Meeting of the Association for Symbolic Logic, Hull, 1986, A note on elementary equivalence of C(K) spaces, On the existence of universal models, An omitting types theorem for positive bounded formulas in normed spaces, Neocompact quantifier elimination in structures based on Banach spaces, Minimal stable types in Banach spaces, A proof of completeness for continuous first-order logic, The Banach spaces \(l_ p(n)\) for large p and n, A hierarchy of maps between compacta, PROOF MINING IN L^p SPACES, Compactness and Independence in Non First Order Frameworks, Categoricity in homogeneous complete metric spaces, Sheaf representations and locality of Riesz spaces with order unit, Expressive power in first order topology

Cites Work