Godel's program
作者： John R. Steel
DOI:
关键词:
摘要: Set theorists have discovered many mutually incompatible natural theories extending ZFC. It is possible that these incompatibilities will be resolved by interpreting all such in a useful common framework theory.
berkeley.edu 参考文章(13)
Peter Koellner, W. Hugh Woodin, Large Cardinals from Determinacy Springer Netherlands. pp. 1951- 2119 ,(2010) , 10.1007/978-1-4020-5764-9_24
Joel DAVID HAMKINS, The Set-theoretic Multiverse : A Natural Context for Set Theory( Mathematical Logic and Its Applications) Annals of the Japan Association for Philosophy of Science. ,vol. 19, pp. 37- 55 ,(2011) , 10.4288/JAFPOS.19.0_37
Yiannis Nicholas Moschovakis, Yiannis Nicholas Moschovakis, Descriptive Set Theory ,(1980)
Thomas Jech, Review: Yiannis N. Moschovakis, Descriptive set theory Bulletin of the American Mathematical Society. ,vol. 5, pp. 339- 349 ,(1981) , 10.1090/S0273-0979-1981-14952-1
W. Hugh Woodin, The continuum hypothesis, the generic-multiverse of sets, and the Ω conjecture Set Theory, Arithmetic, and Foundations of Mathematics. pp. 13- 42 ,(2011) , 10.1017/CBO9780511910616.003
Joel David Hamkins, Jonas Reitz, W. Hugh Woodin, THE GROUND AXIOM IS CONSISTENT WITH V ≠ HOD Proceedings of the American Mathematical Society. ,vol. 136, pp. 2943- 2949 ,(2008) , 10.1090/S0002-9939-08-09285-X
Georg Kreisel, HILBERT'S PROGRAMME Dialectica. ,vol. 12, pp. 346- 372 ,(1958) , 10.1111/J.1746-8361.1958.TB01469.X
Kurt Gödel, What is Cantor's Continuum Problem? American Mathematical Monthly. ,vol. 54, pp. 515- 525 ,(1947) , 10.1080/00029890.1947.11991877
Victoria Gitman, Joel David Hamkins, A Natural Model of the Multiverse Axioms Notre Dame Journal of Formal Logic. ,vol. 51, pp. 475- 484 ,(2010) , 10.1215/00294527-2010-030
Grigor Sargsyan, A tale of hybrid mice ,(2009)