In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter. pp. 291-322 (2016)

Wolfram Pohlers
University of Muenster
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Buy the book Find it on
DOI 10.1515/9781501502620-017
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,194
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Proof Theory and Ordinal Analysis.W. Pohlers - 1991 - Archive for Mathematical Logic 30 (5-6):311-376.
Ordinal Analysis by Transformations.Henry Towsner - 2009 - Annals of Pure and Applied Logic 157 (2-3):269-280.
Ordinal Analysis of Non-Monotone-Definable Inductive Definitions.Wolfram Pohlers - 2008 - Annals of Pure and Applied Logic 156 (1):160-169.
Metamathematics and Philosophy.Jan Wolenski - 1983 - Bulletin of the Section of Logic 12 (4):221-225.
Σ 1 -Elementarity and Skolem Hull Operators.Gunnar Wilken - 2007 - Annals of Pure and Applied Logic 145 (2):162-175.
The Pragmatism of Hilbert's Programme.Volker Peckhaus - 2003 - Synthese 137 (1-2):141 - 156.
Finitism: An Essay on Hilbert's Programme.David Watson Galloway - 1991 - Dissertation, Massachusetts Institute of Technology


Added to PP index

Total views
9 ( #921,876 of 2,448,328 )

Recent downloads (6 months)
1 ( #450,727 of 2,448,328 )

How can I increase my downloads?


My notes