稳定巴拿赫空间中的极小型
Minimal types in stable Banach spaces
摘要：
证明了扩张巴拿赫空间的连续理论中宽型的存在性，以及在这种理论中稳定型中极小宽型的稠密性.我们证明了每一个极小宽稳定型都“泛”等距于一个l_2空间。最后，我们证明了以下公式的亨森猜想：每一个模型的不可数范畴理论扩展的巴拿赫空间是素数的扩展模型，等距的标准基础的希尔伯特空间。
英文摘要：
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 l_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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
