Minimal types in the stable Banach spaces

by Shelah and Usvyatsov. [ShUs:1020]
Advances in Math, 2008-09-25
We prove existence of wide types in a continuous theory expanding a Banach space, and density of minimal wide types among stable types in such a theory. We show that every minimal wide stable type is ``generically'' isometric to an ell_2 space. We conclude with a proof of the following formulation of Henson's Conjecture: every model of an uncountably categorical theory expanding a Banach space is prime over a spreading model, isometric to the standard basis of a Hilbert space.


Back to the list of publications