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