Applications of cut-free infinitary derivations to generalized recursion theory
Under an Elsevier user license
open archive
MSC
03D60
03D55
03F05
Keywords
Cut-free infinitary derivations
Boundedness principles
Boundedness theorems
Recursive ordinals
Definable well-orderings
Cited by (0)
Copyright © 1998 Published by Elsevier B.V.