Abstract:In this paper we deal with two weaker forms of injectivity which turn out to have a rich structure behind: separable injectivity and universal separable injectivity. We show several structural and stability properties of these classes of Banach spaces. We provide natural examples of (universally) separably injective spaces, including $\mathcal L_\infty$ ultraproducts built over countably incomplete ultrafilters, in spite of the fact that these ultraproducts are never injective. We obtain two fundamental characterizations of universally separably injective spaces: a) A Banach space $E$ is universally separably injective if and only if every separable subspace is contained in a copy of $\ell_\infty$ inside $E$. b) A Banach space $E$ is universally separably injective if and only if for every separable space $S$ one has $\Ext(\ell_\infty/S, E)=0$. The final Section of the paper focuses on special properties of 1-separably injective spaces. Lindenstrauss\ obtained in the middle sixties a result that can be understood as a proof that, under the continuum hypothesis, 1-separably injective spaces are 1-universally separably injective; he left open the question in {\sf ZFC}. We construct a consistent example of a Banach space of type $C(K)$ which is 1-separably injective but not 1-universally separably injective. We show that, under the continuum hypothesis, "to be universally separably injective" is not a $3$-space property, as we wrongly claimed in the paper mentioned in the title.

Projective and injective tensor products of Banach -modules

Projective and injective tensor products of Banach $L^0$-modules

On the Central Limit Theorem in Product Spaces

On the projective dimension of tensor products of modules

On Banach space projective tensor product of $C^*$-algebras

Diagonals of injective tensor products of Banach lattices with bases

Injective and projective Hilbert C-modules, and C-algebras of compact operators

Locally Self-Injective Property of

On Positive Injective Tensor Products Being Grothendieck Spaces

Algebraic tensor products and internal homs of noncommutative L^p-spaces

A categorical approach to injective envelopes

Injective envelopes of a Hilbert C*-module

Injective Envelopes of a Hilbert C* -Module

Higher projective tensor products of $c_0$

On separably injective Banach spaces and Corrigendum to "On separably injective Banach spaces" [Adv. Math. 234 (2013) 192--216]

Injectivity of modules over trusses

Superreflexive tensor product spaces

The set of elementary tensors is weakly closed in projective tensor products

3. Frobenius and separable functors for entwined modules

Mittag-Leffler functors of modules

Isomorphic classification of projective tensor products of spaces of continuous functions