The Σ* approach to the fine structure of L
Tom 154 / 1997
Fundamenta Mathematicae 154 (1997), 133-158
DOI: 10.4064/fm-154-2-133-158
Streszczenie
We present a reformulation of the fine structure theory from Jensen [72] based on his Σ* theory for K and introduce the Fine Structure Principle, which captures its essential content. We use this theory to prove the Square and Fine Scale Principles, and to construct Morasses.
