Download PDF - The Σ* approach to the fine structure of LAll rights reserved. Copyright exceptions and limitations apply

ArticleOriginal scientific text

Title

The Σ* approach to the fine structure of L

Authors 1

Affiliations

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

Abstract

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.

Bibliography

  1. A. Beller, R. B. Jensen and P. Welch [82], Coding the Universe, London Math. Soc. Lecture Note Ser. 47, Cambridge Univ. Press, 1982.
  2. K. Devlin [84], Constructibility, Springer, 1984.
  3. H.-D. Donder [85], Another look at gap-1 morasses, in: Recursion Theory, Proc. Sympos. Pure Math. 42, Amer. Math. Soc., 223-236.
  4. 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.
  5. S.D. Friedman [87], Strong coding, Ann. Pure Appl. Logic 35, 1-98.
  6. S.D. Friedman [94], A simpler proof of Jensen's coding theorem, Ann. Pure Appl. 70, 1-16.
  7. R.B. Jensen [72], The fine structure of the constructible hierarchy, Ann. Math. Logic 4, 229-308.
  8. R.B. Jensen [?], Nonoverlapping extenders, unpublished.
Fundamenta Mathematicae
1997/154/2
Export to PBN, Opens in new tab
Pages:
133-158
Main language of publication
English
Received
1996-10-09
Accepted
1997-02-07
Published
1997
Exact and natural sciences