Feferman on the Indefiniteness of CH Peter Koellner

First Page		Document Content
Date: 2011-10-06 07:47:45 Continuum hypothesis Forcing Infinity Zermelo–Fraenkel set theory Solomon Feferman Peano axioms Large cardinal Axiom Conjecture Mathematical logic Mathematics Logic		Feferman on the Indefiniteness of CH Peter Koellner Add to Reading List Source URL: logic.harvard.edu Download Document from Source Website File Size: 273,14 KB Share Document on Facebook

	CONCEPTUAL STRUCTURALISM AND THE CONTINUUM Solomon Feferman PHILMATH INTERSEM 2010 Université Paris Diderot-Paris 7 June 8, 2010 DocID: 1vlfy - View Document
	WHICH QUANTIFIERS ARE LOGICAL? A COMBINED SEMANTICAL AND INFERENTIAL CRITERION Solomon Feferman For the Constructive in Logic and Applications conference DocID: 1tgyF - View Document
	AND SO ON... REASONING WITH INFINITE DIAGRAMS Solomon Feferman Stanford University Diagrams Workshop, Paris, 9 October 2008 DocID: 1tgv3 - View Document
	Feferman on Godel and Free Will Abstract Feferman surveys the work of Godel and Turing, and, although not himself holding a mechanist view of the mind as a whole, raises objections to the anti-mechanist argument put fo DocID: 1pazz - View Document
	FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY §1. Introduction. A central theme of proof theory is expressed by the following question: DocID: 1nRsp - View Document