# The Σ* approach to the fine structure of L

Fundamenta Mathematicae (1997)

- Volume: 154, Issue: 2, page 133-158
- ISSN: 0016-2736

## Access Full Article

top## Abstract

top## How to cite

topFriedman, Sy. "The Σ* approach to the fine structure of L." Fundamenta Mathematicae 154.2 (1997): 133-158. <http://eudml.org/doc/212230>.

@article{Friedman1997,

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.},

author = {Friedman, Sy},

journal = {Fundamenta Mathematicae},

keywords = {constructible universe; fine structure; square principle; morasses},

language = {eng},

number = {2},

pages = {133-158},

title = {The Σ* approach to the fine structure of L},

url = {http://eudml.org/doc/212230},

volume = {154},

year = {1997},

}

TY - JOUR

AU - Friedman, Sy

TI - The Σ* approach to the fine structure of L

JO - Fundamenta Mathematicae

PY - 1997

VL - 154

IS - 2

SP - 133

EP - 158

AB - 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.

LA - eng

KW - constructible universe; fine structure; square principle; morasses

UR - http://eudml.org/doc/212230

ER -

## References

top- 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. Zbl0809.03040
- R.B. Jensen [72], The fine structure of the constructible hierarchy, Ann. Math. Logic 4, 229-308. Zbl0257.02035
- R.B. Jensen [?], Nonoverlapping extenders, unpublished.

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.