Core models with more Woodin cardinals

[1] ANDRETTA A, IN PRESS ISRAEL J MA

[2] FENG Q, UNIVERSALLY BAIRE SE

[3] Martin D. A., 1994, J. Amer. Math. Soc, V7, P1

[4] Mitchell W. J., 1994, Lecture Notes in Logic, V3

[5] The covering lemma up to a Woodin cardinal [J]. ANNALS OF PURE AND APPLIED LOGIC, 1997, 84 (02) : 219 - 255

[6] A weak Dodd-Jensen lemma [J]. JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (03) : 1285 - 1294

[7] Fine structure for tame inner models [J]. JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (02) : 621 - 639

[8] The maximality of the core model [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1999, 351 (08) : 3119 - 3141

[9] SCHINDLER RD, IN PRESS DECONSTRUCT

[10] STEEL J, IN PRESS HDB SET THE

[1] ANDRETTA A, IN PRESS ISRAEL J MA

[2] FENG Q, UNIVERSALLY BAIRE SE

[3] Martin D. A., 1994, J. Amer. Math. Soc, V7, P1

[4] Mitchell W. J., 1994, Lecture Notes in Logic, V3

[5] The covering lemma up to a Woodin cardinal [J]. ANNALS OF PURE AND APPLIED LOGIC, 1997, 84 (02) : 219 - 255

[6] A weak Dodd-Jensen lemma [J]. JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (03) : 1285 - 1294

[7] Fine structure for tame inner models [J]. JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (02) : 621 - 639

[8] The maximality of the core model [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1999, 351 (08) : 3119 - 3141

[9] SCHINDLER RD, IN PRESS DECONSTRUCT

[10] STEEL J, IN PRESS HDB SET THE