Switch to: References

Add citations

You must login to add citations.
  1. Projective Games on the Reals.Juan P. Aguilera & Sandra Müller - 2020 - Notre Dame Journal of Formal Logic 61 (4):573-589.
    Let Mn♯ denote the minimal active iterable extender model which has n Woodin cardinals and contains all reals, if it exists, in which case we denote by Mn the class-sized model obtained by iterating the topmost measure of Mn class-many times. We characterize the sets of reals which are Σ1-definable from R over Mn, under the assumption that projective games on reals are determined:1. for even n, Σ1Mn=⅁RΠn+11;2. for odd n, Σ1Mn=⅁RΣn+11.This generalizes a theorem of Martin and Steel for L, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The axiom of determinacy implies dependent choice in mice.Sandra Müller - 2019 - Mathematical Logic Quarterly 65 (3):370-375.
    We show that the Axiom of Dependent Choice,, holds in countably iterable, passive premice constructed over their reals which satisfy the Axiom of Determinacy,, in a background universe. This generalizes an argument of Kechris for using Steel's analysis of scales in mice. In particular, we show that for any and any countable set of reals A so that and, we have that.
    Download  
     
    Export citation  
     
    Bookmark