Switch to: References

Add citations

You must login to add citations.
  1. Determinacy and extended sharp functions on the reals, Part II: obtaining sharps from determinacy.Derrick Albert DuBose - 1992 - Annals of Pure and Applied Logic 58 (1):1-28.
    For several partial sharp functions # on the reals, we characterize in terms of determinacy, the existence of indiscernibles for several inner models of “# exists for every real r”. Let #10=1#10 be the identity function on the reals. Inductively define the partial sharp function, β#1γ+1, on the reals so that #1γ+1 =1#1γ+1 codes indiscernibles for L [#11, #12,…, #1γ] and #1γ+1=#1γ+1). We sho w that the existence of β#1γ follows from the determinacy of *Σ01)*+ games . Part I proves (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Determinacy and the sharp function on objects of type K.Derrick Albert Dubose - 1995 - Journal of Symbolic Logic 60 (4):1025-1053.
    We characterize, in terms of determinacy, the existence of the least inner model of "every object of type k has a sharp." For k ∈ ω, we define two classes of sets, (Π 0 k ) * and (Π 0 k ) * + , which lie strictly between $\bigcup_{\beta and Δ(ω 2 -Π 1 1 ). Let ♯ k be the (partial) sharp function on objects of type k. We show that the determinancy of (Π 0 k ) * (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation