The Σ* approach to the fine structure of L

• Autorzy: Sy D. Friedman
• Języki publikacji: EN

Abstrakty

EN

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.

Kategorie tematyczne

• 03E05: Other combinatorial set theory
• 03E45: Inner models, including constructibility, ordinal definability, and core models

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 1997
• Tom: 154
• Numer: 2
• Strony: 133-158

Daty

wydano

1997

otrzymano

1996-10-09

poprawiono

1997-02-07

Twórcy

autor

Sy D. Friedman

• Department of Mathematics, Massachussets Institute of Technology, Cambridge, Massachussets 02139, U.S.A.

Bibliografia

• A. Beller, R. B. Jensen and P. Welch [82], Coding the Universe, London Math. Soc. Lecture Note Ser. 47, Cambridge Univ. Press, 1982.
• K. Devlin [84], Constructibility, Springer, 1984.
• H.-D. Donder [85], Another look at gap-1 morasses, in: Recursion Theory, Proc. Sympos. Pure Math. 42, Amer. Math. Soc., 223-236.
• H.-D. Donder, R. B. Jensen and L. J. Stanley [85], Condensation-coherent global square systems, in: Recursion Theory, Proc. Sympos. Pure Math. 42, Amer. Math. Soc., 237-258.
• S.D. Friedman [87], Strong coding, Ann. Pure Appl. Logic 35, 1-98.
• S.D. Friedman [94], A simpler proof of Jensen's coding theorem, Ann. Pure Appl. 70, 1-16.
• R.B. Jensen [72], The fine structure of the constructible hierarchy, Ann. Math. Logic 4, 229-308.
• R.B. Jensen [?], Nonoverlapping extenders, unpublished.