PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2010 | 208 | 2 | 123-153
Tytuł artykułu

The consistency strength of the tree property at the double successor of a measurable cardina

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
The Main Theorem is the equiconsistency of the following two statements:
(1) κ is a measurable cardinal and the tree property holds at κ⁺⁺;
(2) κ is a weakly compact hypermeasurable cardinal.
From the proof of the Main Theorem, two internal consistency results follow: If there is a weakly compact hypermeasurable cardinal and a measurable cardinal far enough above it, then there is an inner model in which there is a proper class of measurable cardinals, and in which the tree property holds at the double successor of each strongly inaccessible cardinal. If $0^{#}$ exists, then we can construct an inner model in which the tree property holds at the double successor of each strongly inaccessible cardinal. We also find upper and lower bounds for the consistency strength of there being no special Aronszajn trees at the double successor of a measurable cardinal. The upper and lower bounds differ only by 1 in the Mitchell order.
Słowa kluczowe
Twórcy
  • Department of Mathematics, University of Denver, 2360 S Gaylord St, Denver, CO 80208, U.S.A.
  • Kurt Gödel Research Center for Mathematical Logic, Universität Wien, Währinger Strasse 25, A-1090 Wien, Austria
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm208-2-2
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ć.