论文信息 - Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem

Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem

We propose a simple notion of “extender” for coding large elementary embeddings of models of set theory. As an application we present a self-contained proof of the theorem by D. Martin and J. Steel that infinitely many Woodin cardinals imply the determinacy of every

Peter Koepke

[1] Donald A. Matrin. Measurable cardinals and analytic games , 1970 .

[2] A. Kechris. Classical descriptive set theory , 1987 .

[3] John Steel,et al. ITERATION TREES , 1994 .

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

[5] Y. Moschovakis. Descriptive Set Theory , 1980 .

[6] A. Dodd. The Core Model: INDEX OF DEFINITIONS , 1982 .

[7] Peter Koepke. An Introduction to Extenders and Core Models for Extender Sequences , 1989 .

[8] F. R. Drake,et al. Set theory : an introduction to large cardinals , 1974 .

[9] R. Jensen,et al. The Core Model , 1982, An Introduction to Geographical and Urban Economics.

[10] John R. Steel,et al. A proof of projective determinacy , 1989 .

[11] David Gale,et al. 13. Infinite Games with Perfect Information , 1953 .