53 results
8 - Challenges to Predicative Foundations of Arithmetic
- from Part II - Predicative Mathematics and Beyond
-
- Book: Mathematics and Its Logics
- Published online: 26 January 2021
- Print publication: 04 February 2021, pp 117-138
-
- Chapter
- Export citation
-
7 - Predicative Foundations of Arithmetic
- from Part II - Predicative Mathematics and Beyond
-
- Book: Mathematics and Its Logics
- Published online: 26 January 2021
- Print publication: 04 February 2021, pp 103-116
-
- Chapter
- Export citation
-
Gödel's program for new axioms: Why, where, how and what?
- from Part I - Invited Papers
-
- Book: Gödel '96
- Published online: 23 March 2017
- Print publication: 02 March 2017, pp 3-22
-
- Chapter
- Export citation
-
13 - Turing's ‘Oracle’: From Absolute to Relative Computability and Back
- from Part Five - Oracles, Infinitary Computation, and the Physics of the Mind
-
- Book: The Once and Future Turing
- Published online: 05 March 2016
- Print publication: 24 March 2016, pp 300-334
-
- Chapter
- Export citation
-
Contributors
-
- Book: The Cambridge Dictionary of Philosophy
- Published online: 05 August 2015
- Print publication: 27 April 2015, pp ix-xxx
-
- Chapter
- Export citation
IN MEMORIAM: GRIGORI E. MINTS 1939–2014
- Journal: Bulletin of Symbolic Logic / Volume 21 / Issue 1 / March 2015
- Published online by Cambridge University Press: 09 April 2015, pp. 31-33
- Print publication: March 2015
-
- Article
-
- You have access
- Export citation
Contributors
-
- Book: The Metaphysics of Logic
- Published online: 05 October 2014
- Print publication: 16 October 2014, pp ix-x
-
- Chapter
- Export citation
Chapter 4 - Logic, mathematics, and conceptual structuralism
- from Part I - The Main Positions
-
- Book: The Metaphysics of Logic
- Published online: 05 October 2014
- Print publication: 16 October 2014, pp 72-92
-
- Chapter
- Export citation
-
FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE
- Journal: The Review of Symbolic Logic / Volume 6 / Issue 1 / March 2013
- Published online by Cambridge University Press: 01 June 2012, pp. 6-15
- Print publication: March 2013
-
- Article
- Export citation
-
6 - Lieber Herr Bernays! Lieber Herr Gödel! Gödel on Finitism, Constructivity, and Hilbert's Program
-
- Book: Kurt Gödel and the Foundations of Mathematics
- Published online: 07 September 2011
- Print publication: 06 June 2011, pp 111-134
-
- Chapter
- Export citation
-
UNFOLDING FINITIST ARITHMETIC
- Journal: The Review of Symbolic Logic / Volume 3 / Issue 4 / December 2010
- Published online by Cambridge University Press: 11 August 2010, pp. 665-689
- Print publication: December 2010
-
- Article
- Export citation
-
PROOF THEORY
- Book: Kurt Gödel
- Published online: 04 August 2010
- Print publication: 19 April 2010, pp 43-44
-
- Chapter
- Export citation
SET THEORY
- Book: Kurt Gödel
- Published online: 04 August 2010
- Print publication: 19 April 2010, pp 143-144
-
- Chapter
- Export citation
Contents
- Book: Kurt Gödel
- Published online: 04 August 2010
- Print publication: 19 April 2010, pp vii-viii
-
- Chapter
- Export citation
GENERAL
- Book: Kurt Gödel
- Published online: 04 August 2010
- Print publication: 19 April 2010, pp 1-2
-
- Chapter
- Export citation
The Gödel editorial project: A synopsis
-
- Book: Kurt Gödel
- Published online: 04 August 2010
- Print publication: 19 April 2010, pp 3-20
-
- Chapter
- Export citation
-
Introduction
-
- Book: Kurt Gödel
- Published online: 04 August 2010
- Print publication: 19 April 2010, pp ix-x
-
- Chapter
- Export citation
-
Kurt Gödel
- Essays for his Centennial
- Published online: 04 August 2010
- Print publication: 19 April 2010
-
Frontmatter
- Book: Kurt Gödel
- Published online: 04 August 2010
- Print publication: 19 April 2010, pp i-vi
-
- Chapter
- Export citation
PHILOSOPHY OF MATHEMATICS
- Book: Kurt Gödel
- Published online: 04 August 2010
- Print publication: 19 April 2010, pp 227-228
-
- Chapter
- Export citation