A. Mostowski Centenary Warsaw, October 2013 Andrzej Mostowski November 1, [removed]August 22, 1975

First Page		Document Content
Date: 2013-10-18 06:12:05 Mathematical logic Andrzej Mostowski Mostowski Alfred Tarski Kazimierz Kuratowski Interpretability Decidability Adolf Lindenbaum Solomon Feferman Mathematics Proof theory Logic		A. Mostowski Centenary Warsaw, October 2013 Andrzej Mostowski November 1, [removed]August 22, 1975 Add to Reading List Source URL: www.cs.technion.ac.il Download Document from Source Website File Size: 1,64 MB 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