Annals of Pure and Applied Logic 94 (1-3):7-19 (1998)

Authors
Wolfram Pohlers
University of Muenster
Abstract
We prove that the boundedness theorem of generalized recursion theory can be derived from the ω-completeness theorem for number theory. This yields a proof of the boundedness theorem which does not refer to the analytical hierarchy theorem
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/s0168-0072(97)00063-8
Options
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
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Dynamic Ordinal Analysis.Arnold Beckmann - 2003 - Archive for Mathematical Logic 42 (4):303-334.
Ordinal Analysis of Non-Monotone-Definable Inductive Definitions.Wolfram Pohlers - 2008 - Annals of Pure and Applied Logic 156 (1):160-169.

Add more citations

Similar books and articles

Generalized Recursion Theory Ii: Proceedings of the 1977 Oslo Symposium.Jens Erik Fenstad, R. O. Gandy & Gerald E. Sacks (eds.) - 1978 - Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
Generalized Measure Theory.Stanley Gudder - 1973 - Foundations of Physics 3 (3):399-411.
Canonical Forms and Hierarchies in Generalized Recursion Theory.Phokion G. Kolaitis - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion Theory. American Mathematical Society. pp. 42--139.
Infinitary Belief Revision.Dongmo Zhang & Norman Foo - 2001 - Journal of Philosophical Logic 30 (6):525-570.
Some Recent Developments in Higher Recursion Theory.Sy D. Friedman - 1983 - Journal of Symbolic Logic 48 (3):629-642.
Infinitary Modal Logic and Generalized Kripke Semantics.Pierluigi Minari - 2011 - Annali Del Dipartimento di Filosofia 17:135-166.

Analytics

Added to PP index
2014-01-16

Total views
30 ( #363,154 of 2,448,328 )

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

How can I increase my downloads?

Downloads

My notes