Applications of cut-free infinitary derivations to generalized recursion theory
type: Item
instance of: scholarly article
title: Applications of cut-free infinitary derivations to generalized recursion theory
zbMATH Open document ID: 0924.03087
DOI: 10.1016/S0168-0072(97)00063-8
author: Arnold Beckmann
author: Wolfram Pohlers
published in: Annals of Pure and Applied Logic
publication date: 1999-11-15T00:00:00Z
Mathematics Subject Classification ID: 03D60
Mathematics Subject Classification ID: 03E15
Mathematics Subject Classification ID: 03D55
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F35
zbMATH DE Number: 1308088
zbMATH Keywords: cut-free infinitary derivations
zbMATH Keywords: boundedness principle
zbMATH Keywords: recursive ordinals
zbMATH Keywords: definable well-orderings
zbMATH Keywords: cut elimination
zbMATH Keywords: boundedness theorem
zbMATH Keywords: generalized recursion theory
MaRDI profile type: Publication
cites work: Q4146722
cites work: Descriptive set theory
cites work: Q3773877
description: scientific article; zbMATH DE number 1308088