-definable inductive definitions - PhilPapers" />
Switch to: Citations

Add references

You must login to add references.
  1. Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1.W. Pohlers - 1981 - Archive for Mathematical Logic 21 (1):113-129.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Applications of cut-free infinitary derivations to generalized recursion theory.Arnold Beckmann & Wolfram Pohlers - 1998 - Annals of Pure and Applied Logic 94 (1-3):7-19.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.
    Direct download  
     
    Export citation  
     
    Bookmark   104 citations