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
topHow 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 ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.