27 found
Sort by:
Disambiguations:
W. Hugh Woodin [20]W. H. Woodin [7]
  1. John Baldwin, Johanna Ny Franklin, C. Ward Henson, Julia F. Knight, Roman Kossak, Dima Sinapova, W. Hugh Woodin & Philip Scowcroft (2013). John B. Hynes Veterans Memorial Convention Center Boston Marriott Hotel, and Boston Sheraton Hotel Boston, MA January 6–7, 2012. [REVIEW] Bulletin of Symbolic Logic 19 (2).
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Michał Heller & W. H. Woodin (eds.) (2011). Infinity: New Research Frontiers. Cambridge University Press.
    Machine generated contents note: Introduction Rudy Rucker; Part I. Perspectives on Infinity from History: 1. Infinity as a transformative concept in science and theology Wolfgang Achtner; Part II. Perspectives on Infinity from Mathematics: 2. The mathematical infinity Enrico Bombieri; 3. Warning signs of a possible collapse of contemporary mathematics Edward Nelson; Part III. Technical Perspectives on Infinity from Advanced Mathematics: 4. The realm of the infinite W. Hugh Woodin; 5. A potential subtlety concerning the distinction between determinism and nondeterminism W. (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. W. Hugh Woodin (2011). A Potential Subtlety Concerning the Distinction Between Determinism and Nondeterminism. In Michał Heller & W. H. Woodin (eds.), Infinity: New Research Frontiers. Cambridge University Press. 119.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. W. Hugh Woodin (2011). Suitable Extender Models II: Beyond Ω-Huge. Journal of Mathematical Logic 11 (02):115-436.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. W. Hugh Woodin (2011). The Realm of the Infinite. In Michał Heller & W. H. Woodin (eds.), Infinity: New Research Frontiers. Cambridge University Press. 89.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. W. Hugh Woodin (2011). The Transfinite Universe. In Matthias Baaz (ed.), Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge University Press. 449.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. W. Hugh Woodin (2010). Suitable Extender Models I. Journal of Mathematical Logic 10 (01n02):101-339.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Peter Koellner & W. Hugh Woodin (2009). Incompatible Ω-Complete Theories. Journal of Symbolic Logic 74 (4):1155 - 1170.
    In 1985 the second author showed that if there is a proper class of measurable Woodin cardinals and $V^{B1} $ and $V^{B2} $ are generic extensions of V satisfying CH then $V^{B1} $ and $V^{B2} $ agree on all $\Sigma _1^2 $ -statements. In terms of the strong logic Ω-logic this can be reformulated by saying that under the above large cardinal assumption ZFC + CH is Ω-complete for $\Sigma _1^2 $ Moreover. CH is the unique $\Sigma _1^2 $ -statement (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Sy-David Friedman, Philip Welch & W. Hugh Woodin (2008). On the Consistency Strength of the Inner Model Hypothesis. Journal of Symbolic Logic 73 (2):391 - 400.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. W. H. Woodin (2006). The Cardinals Below Vertical Bar [Omega (1)]. Annals of Pure and Applied Logic 140 (1-3):161-232.
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. W. Hugh Woodin (2006). The Cardinals Below|[Ω1]< Ω1|. Annals of Pure and Applied Logic 140 (1-3):161-232.
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Matthias Aschenbrenner, Alexander Berenstein, Andres Caicedo, Joseph Mileti, Bjorn Poonen, W. Hugh Woodin & Akihiro Kanamori (2005). Atlanta Marriott Marquis, Atlanta, Georgia January 7–8, 2005. Bulletin of Symbolic Logic 11 (3).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. Joel D. Hamkins & W. Hugh Woodin (2005). The Necessary Maximality Principle for Ccc Forcing is Equiconsistent with a Weakly Compact Cardinal. Mathematical Logic Quarterly 51 (5):493-498.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Q. Feng & W. H. Woodin (2003). P-Points in Models. Annals of Pure and Applied Logic 119 (1-3):121-190.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. W. Hugh Woodin & Z. Beyond (2003). 2002 Annual Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic 9 (1):51.
     
    My bibliography  
     
    Export citation  
  16. E. Schimmerling & W. H. Woodin (2001). The Jensen Covering Property. Journal of Symbolic Logic 66 (4):1505-1523.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  17. Kai Hauser & W. Hugh Woodin (1999). $Pi^13$ Sets and $Pi^13$ Singletons. Journal of Symbolic Logic 64 (2):590-616.
    We extend work of H. Friedman, L. Harrington and P. Welch to the third level of the projective hierarchy. Our main theorems say that (under appropriate background assumptions) the possibility to select definable elements of non-empty sets of reals at the third level of the projective hierarchy is equivalent to the disjunction of determinacy of games at the second level of the projective hierarchy and the existence of a core model (corresponding to this fragment of determinacy) which must then contain (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Kai Hauser & W. Hugh Woodin (1999). Π13 Sets and Π13 Singletons. Journal of Symbolic Logic 64 (2):590 - 616.
    We extend work of H. Friedman, L. Harrington and P. Welch to the third level of the projective hierarchy. Our main theorems say that (under appropriate background assumptions) the possibility to select definable elements of non-empty sets of reals at the third level of the projective hierarchy is equivalent to the disjunction of determinacy of games at the second level of the projective hierarchy and the existence of a core model (corresponding to this fragment of determinacy) which must then contain (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. Kai Hauser & W. Hugh Woodin (1999). Sets and Singletons. Journal of Symbolic Logic 64 (2):590-616.
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Theodore A. Slaman & W. Hugh Woodin (1998). Extending Partial Orders to Dense Linear Orders. Annals of Pure and Applied Logic 94 (1-3):253-261.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  21. Boban Velickovic & W. Hugh Woodin (1998). Complexity of Reals in Inner Models of Set Theory. Annals of Pure and Applied Logic 92 (3):283-295.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. J. Bagaria & W. H. Woodin (1997). 1\ Sets of Reals. Journal of Symbolic Logic 62.
     
    My bibliography  
     
    Export citation  
  23. Joan Bagaria & W. Hugh Woodin (1997). $\Underset{\Tilde}{\Delta}^1_n$ Sets of Reals. Journal of Symbolic Logic 62 (4):1379 - 1428.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  24. Theodore A. Slaman & W. Hugh Woodin (1997). Definability in the Enumeration Degrees. Archive for Mathematical Logic 36 (4-5):255-267.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  25. W. Hugh Woodin (1996). The Universe Constructed From a Sequence of Ordinals. Archive for Mathematical Logic 35 (5-6):371-383.
    We prove that if $V = L [s]$ where $s$ is an $\omega$ -sequence of ordinals then the GCH holds.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  26. A. S. Kechris & W. H. Woodin (1991). A Strong Boundedness Theorem for Dilators. Annals of Pure and Applied Logic 52 (1-2):93-97.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  27. Haim Judah, Saharon Shelah & W. H. Woodin (1990). The Borel Conjecture. Annals of Pure and Applied Logic 50 (3):255-269.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation