Further Reading: For the mathematics concerning ℙmax see Woodin (1999). For an introduction to Ω-logic see Bagaria, Castells &amp; Larson (2006). For more on incompatible Ω-complete theories see Koellner &amp; Woodin (2009). For more on the case against CH see Woodin (2001a,b, 2005a,b). 