Abstract
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 ℓ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.
Original language | English |
---|---|
Article number | 106738 |
Journal | Advances in Mathematics |
Volume | 355 |
DOIs | |
State | Published - 15 Oct 2019 |
Externally published | Yes |
Bibliographical note
Publisher Copyright:© 2019 Elsevier Inc.
Keywords
- Banach spaces
- Categoricity
- Continuous model theory
- Hilbert spaces
- Stability
- Wide types