Switch to: References

Add citations

You must login to add citations.
  1. Projective uniformization revisited.Kai Hauser & Ralf-Dieter Schindler - 2000 - Annals of Pure and Applied Logic 103 (1-3):109-153.
    We give an optimal lower bound in terms of large cardinal axioms for the logical strength of projective uniformization in conjuction with other regularity properties of projective sets of real numbers, namely Lebesgue measurability and its dual in the sense of category . Our proof uses a projective computation of the real numbers which code inital segments of a core model and answers a question in Hauser.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Homogeneously Suslin sets in tame mice.Farmer Schlutzenberg - 2012 - Journal of Symbolic Logic 77 (4):1122-1146.
    This paper studies homogeneously Suslin (hom) sets of reals in tame mice. The following results are established: In 0 ¶ the hom sets are precisely the [Symbol] sets. In M n every hom set is correctly [Symbol] and (δ + 1)-universally Baire where ä is the least Woodin. In M u every hom set is <λ-hom, where λ is the supremum of the Woodins.
    Download  
     
    Export citation  
     
    Bookmark   1 citation