PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
1997 | 154 | 2 | 133-158
Tytuł artykułu

The Σ* approach to the fine structure of L

Autorzy
Treść / Zawartość
Warianty tytułu
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.
Słowa kluczowe
Rocznik
Tom
154
Numer
2
Strony
133-158
Opis fizyczny
Daty
wydano
1997
otrzymano
1996-10-09
poprawiono
1997-02-07
Twórcy
  • Department of Mathematics, Massachussets Institute of Technology, Cambridge, Massachussets 02139, U.S.A., sdf@math.mit.edu
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.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-fmv154i2p133bwm
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.