Applications of cut-free infinitary derivations to generalized recursion theory
Annals of Pure and Applied Logic 94 (1-3):7-19 (1998)
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 theoremAuthor's Profile
DOI
10.1016/s0168-0072(97)00063-8
My notes
Similar books and articles
Review: Arnold Beckmann, Wolfram Pohlers, Applications of Cut-Free Infinitary Derivations to Generalized Recursion Theory. [REVIEW]Dag Normann - 2000 - Bulletin of Symbolic Logic 6 (2):221-222.
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.
Explaining the Gentzen–Takeuti reduction steps: a second-order system.Wilfried Buchholz - 2001 - Archive for Mathematical Logic 40 (4):255-272.
Generalized Recursion Theory: Proceedings of the 1972 Oslo Symposium.Jens Erik Fenstad & Peter G. Hinman (eds.) - 1974 - New York: American Elsevier Pub. Co..
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.
Recursion Theory: Summer Research Institute : Papers.Anil Nerode & Richard A. Shore (eds.) - 1985 - American Mathematical Society.
Recursion Theory for Metamathematics.Raymond Merrill Smullyan - 1993 - Oxford, England: Oxford University Press.
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.
Review: Wilfried Buchholz, Notation Systems for Infinitary Derivations ; Wilfried Buchholz, Explaining Gentzen's Consistency Proof within Infinitary Proof Theory ; Sergei Tupailo, Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals. [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.
Infinitary Modal Logic and Generalized Kripke Semantics.Pierluigi Minari - 2011 - Annali Del Dipartimento di Filosofia 17:135-166.
Logics with Zero‐One Laws that Are Not Fragments of Bounded‐Variable Infinitary Logic.Iain A. Stewart - 1997 - Mathematical Logic Quarterly 43 (2):158-178.
Analytics
Added to PP
2014-01-16
Downloads
31 (#379,658)
6 months
1 (#454,876)
2014-01-16
Downloads
31 (#379,658)
6 months
1 (#454,876)
Historical graph of downloads
Author's Profile
Citations of this work
Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results.Andreas Weiermann - 2005 - Annals of Pure and Applied Logic 136 (1):189-218.
Ordinal analysis of non-monotone-definable inductive definitions.Wolfram Pohlers - 2008 - Annals of Pure and Applied Logic 156 (1):160-169.
Ordinal analysis of non-monotone http://ars. els-cdn. com/content/image/http://origin-ars. els-cdn. com/content/image/1-s2. 0-S0168007208000924-si1. gif"/>-definable inductive definitions. [REVIEW]Wolfram Pohlers - 2008 - Annals of Pure and Applied Logic 156 (1):160-169.
