Some second order set theory

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5378 LNAI, Issue , 2009, Pages 36-50

  Hamkins, Joel David ^a,b  

^a CITY UNIVERSITY OF NEW YORK   (United States)

^b CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE COMBINATORICS; MODAL LOGIC; PHILOSOPHY OF MATHEMATICS; SECOND ORDERS;

PHILOSOPHICAL ASPECTS; PROGRAMMING THEORY;

SET THEORY;

EID: 59149088487     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-92701-3_3     Document Type: Conference Paper

References (11)

1. Fuchs, G., Hamkins, J.D., Reitz, J.: Set-theoretic geology (in preparation)
2. Hamkins, J.D.: Extensions with the approximation and cover properties have no new large cardinals. Fundamenta Mathematicae 180(3), 257-277 (2003)
3. Hamkins, J.D.: A simple maximality principle. Journal of Symbolic Logic 68(2), 527-550 (2003)
4. Hamkins, J.D., L̈owe, B.: The modal logic of forcing. Transactions of the American Mathematical Society 360, 1793-1817 (2008)
5. Hamkins, J.D., Seabold, D.: Boolean ultrapowers (in preparation)
6. Laver, R.: Certain very large cardinals are not created in small forcing extensions. Annals of Pure and Applied Logic 149(1-3), 1-6 (2007)
7. Reitz, J.: The Ground Axiom. Ph.D thesis, The Graduate Center of the City University of New York (September 2006)
8. Reitz, J.: The Ground Axiom. Journal of Symbolic Logic 72(4), 1299-1317 (2007)
9. Stavi, J., V̈äan̈anen, J.: Reflection principles for the continuum. In: Zhang, Y. (ed.) Logic and Algebra. AMS Contemporary Mathematics Series, vol. 302 (2003)
10. Hugh Woodin, W.: Recent developments on Cantors Continuum Hypothesis. In: Proceedings of the Continuum in Philosophy and Mathematics. Carlsberg Academy, Copenhagen (November 2004)
11. Hamkins, J.D., Reitz, J., Woodin, W.H.: The Ground Axiom is consistent with V -= HOD. Proceedings of the AMS 136, 2943-2949 (2008)