Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)Low sets without subsets of higher many-one degree.Patrizio Cintioli - 2011 - Mathematical Logic Quarterly 57 (5):517-523.
    Given a reducibility ⩽r, we say that an infinite set A is r-introimmune if A is not r-reducible to any of its subsets B with |A\B| = ∞. We consider the many-one reducibility ⩽m and we prove the existence of a low1 m-introimmune set in Π01 and the existence of a low1 bi-m-introimmune set.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Sets without Subsets of Higher Many-One Degree.Patrizio Cintioli - 2005 - Notre Dame Journal of Formal Logic 46 (2):207-216.
    Previously, both Soare and Simpson considered sets without subsets of higher -degree. Cintioli and Silvestri, for a reducibility , define the concept of a -introimmune set. For the most common reducibilities , a set does not contain subsets of higher -degree if and only if it is -introimmune. In this paper we consider -introimmune and -introimmune sets and examine how structurally easy such sets can be. In other words we ask, What is the smallest class of the Kleene's Hierarchy containing (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Galvin-Prikry theorem and set existen axioms.Kazuyuki Tanaka - 1989 - Annals of Pure and Applied Logic 42 (1):81-104.
    Download  
     
    Export citation  
     
    Bookmark   7 citations