Switch to: References

Add citations

You must login to add citations.
  1. Large cardinals and large dilators.Andy Lewis - 1998 - Journal of Symbolic Logic 63 (4):1496-1510.
    Applying Woodin's non-stationary tower notion of forcing, I prove that the existence of a supercompact cardinal κ in V and a Ramsey dilator in some small forcing extension V[G] implies the existence in V of a measurable dilator of size κ, measurable by κ-complete measures.
    Download  
     
    Export citation  
     
    Bookmark  
  • Embeddability of ptykes.Jean-Yves Girard & Dag Normann - 1992 - Journal of Symbolic Logic 57 (2):659-676.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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