Applications of cut-free infinitary derivations to generalized recursion theory

Annals of Pure and Applied Logic

Volumn 94, Issue 1-3, 1998, Pages 7-19

  Beckmann, Arnold ^a   Pohlers, Wolfram ^a  

^a UNIVERSITY OF MÜNSTER   (Germany)

Author keywords

Boundedness principles; Boundedness theorems; Cut free infinitary derivations; Definable well orderings; Recursive ordinals

Indexed keywords

EID: 0032487260     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(97)00063-8     Document Type: Article

References (5)

1. [1] A. Beckmann, Eine Verschärfung des Beschränktheitssatzes, Preprint, Münster, 1992.
2. [2] A. Beckmann, An optimal boundedness theorem for infinitary logic and its application to descriptive set theory, Preprint, Münster, 1996.
3. [3] P. Hinman, Recursion Theoretic Hierarchies, Springer, Berlin, 1978.
4. [4] Y. Moschovakis, Descriptive Set Theory, North-Holland, Amsterdam, 1980.
5. [5] W. Pohlers, Proof Theory. An Introduction, Lecture Notes in Mathematics, Springer, Berlin, 1989.