Switch to: Citations

Add references

You must login to add references.
  1. Π12-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2-3):75-219.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • Boundedness theorems for dilators and ptykes.Alexander Kechris - 1991 - Annals of Pure and Applied Logic 52 (1-2):79-92.
    The main theorem of this paper is: If ƒ is a partial function from 1 to 1 which is ∑11-bounded, then there is a weakly finite primitive recursive dilatorD such that for all infinite αεdom, ƒ D. The proof involves only elementary combinatorial constructions of trees. A generalization to ptykes is also given.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • [product]¹2-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2):75.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • Boundedness theorems for dilators and ptykes.Alexander S. Kechris - 1991 - Annals of Pure and Applied Logic 52 (1-2):79-92.
    The main theorem of this paper is: If ƒ is a partial function from ℵ 1 to ℵ 1 which is ∑ 1 1 -bounded, then there is a weakly finite primitive recursive dilator D such that for all infinite αϵdom , ƒ ⩽ D . The proof involves only elementary combinatorial constructions of trees. A generalization to ptykes is also given.
    Download  
     
    Export citation  
     
    Bookmark   2 citations