论文信息 - The Consistency Strength of Successive Cardinals with The Tree Property - 字舞流文

The Consistency Strength of Successive Cardinals with The Tree Property

If co, has the tree property for all 2 < n < co and 2<1' = N,,,_ then for all X E HN. and n < cw, M,,(X) exists. ?

Ralf Schindler | Matthew Foreman | Menachem Magidor

[1] Ernest Schimmerling,et al. A finite family weak square principle , 1999, Journal of Symbolic Logic.

[2] Itay Neeman. Optimal proofs of determinacy , 1995, Bull. Symb. Log..

[3] Ernest Schimmerling,et al. THE MAXIMALITY OF THE CORE MODEL , 1997 .

[4] William Mitchell,et al. Aronszajn trees and the independence of the transfer property , 1972 .

[5] William J. Mitchell,et al. Weak covering without countable closure , 1995 .

[6] John R. Steel. Projectively Well-Ordered Inner Models , 1995, Ann. Pure Appl. Log..

[7] R. Jensen,et al. The fine structure of the constructible hierarchy , 1972 .

[8] James Cummings,et al. The Tree Property , 1998 .

[9] Ernest Schimmerling,et al. The Jensen Covering Property , 2001, J. Symb. Log..

[10] R. Jensen,et al. Marginalia to a theorem of Silver , 1975 .

[11] Uri Abraham,et al. Aronszajn trees on aleph2 and aleph3 , 1983, Ann. Pure Appl. Log..

[12] Ralf Schindler. Weak covering and the tree property , 1999, Arch. Math. Log..