Switch to: Citations

References in:

Unraveling Π11 sets

Annals of Pure and Applied Logic 106 (1-3):151-205 (2000)

Add references

You must login to add references.
  1. An extension of borel determinacy.Donald A. Martin - 1990 - Annals of Pure and Applied Logic 49 (3):279-293.
    We prove the determinacy of all Δ 1 1 games on arbitrary trees, and we use this result and the assumption that a measurable cardinal exists to demonstrate the determinacy of all games on ω ω that belong both to – Π 1 1 and to its dual.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Sets constructible from sequences of ultrafilters.William J. Mitchell - 1974 - Journal of Symbolic Logic 39 (1):57-66.
    In [4], Kunen used iterated ultrapowers to show that ifUis a normalκ-complete nontrivial ultrafilter on a cardinalκthenL[U], the class of sets constructive fromU, has only the ultrafilterU∩L[U] and this ultrafilter depends only onκ. In this paper we extend Kunen's methods to arbitrary sequencesUof ultrafilters and obtain generalizations of these results. In particular we answer Problem 1 of Kunen and Paris [5] which asks whether the number of ultrafilters onκcan be intermediate between 1 and 22κ. If there is a normalκ-complete ultrafilterUonκsuch (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Determinacy in the Mitchell models.John R. Steel - 1982 - Annals of Mathematical Logic 22 (2):109.
    Download  
     
    Export citation  
     
    Bookmark   6 citations