A short note on Spector's proof of consistency of analysis

In S. Barry Cooper (ed.), How the World Computes. pp. 222--227 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A direct proof of Wiener's theorem.Matthew Hendtlass & Peter Schuster - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 293--302.
Hard instances of algorithms and proof systems.Yijia Chen, Jörg Flum & Moritz Müller - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 118--128.
A note on ramsey theorems and turing jumps.Lorenzo Carlucci & Konrad Zdanowski - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 89--95.
Ordinal analysis and the infinite ramsey theorem.Bahareh Afshari & Michael Rathjen - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 1--10.
A note on a consistency proof.Frank Fox - 1974 - Notre Dame Journal of Formal Logic 15 (1):176-176.
How the World Computes.S. Barry Cooper (ed.) - 2012
The Consistency of Probabilistic Regresses: Some Implications for Epistemological Infinitism. [REVIEW]Frederik Herzberg - 2013 - Erkenntnis 78 (2):371-382.
Entrevista com Fábio Ferreira de Almeida.[author unknown] - 2010 - Inquietude 1 (2):106-115.
The computing spacetime.Fotini Markopoulou - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 472--484.
Foundational analyses of computation.Yuri Gurevich - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 264--275.

Analytics

Added to PP
2014-01-28

Downloads
20 (#1,035,722)

6 months
3 (#1,471,842)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.
Interpretation of analysis by means of constructive functionals of finite types.Georg Kreisel - 1959 - In A. Heyting (ed.), Constructivity in mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 101--128.
Godel's functional interpretation.Jeremy Avigad & Solomon Feferman - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 337-405.

Add more references