SOME SET THEORIES ARE MORE EQUAL ... - Logic at Harvard
SOME SET THEORIES ARE MORE EQUAL ... - Logic at Harvard
SOME SET THEORIES ARE MORE EQUAL ... - Logic at Harvard
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
22 MENACHEM MAGIDORIn the presence of large cardinals the picture is much simpler asfar as the first two versions: If there is a Woodin cardinal then everyUniversally Baire set of reals is either countable or contains a perfectsubset. The situ<strong>at</strong>ion is even more dram<strong>at</strong>ic with respect to the wellordering version: Under the existence of Woodin cardinal then everyUniversally Baire well ordering of a set of reals in countable. So ifwe assume the existence of a Woodin cardinal then the well orderingversion has no bearing on the Continuum problem. Also as Martin andKoellner argue in [27] and [21] the interpol<strong>at</strong>ion version does not shedlight on the continuum problem.The third version:the surjection version is more interesting. Herethere is a chance even assuming the existence of large cardinals th<strong>at</strong> if2 ℵ 0= κ then we can have a Universally Baire evidence for th<strong>at</strong>. Wefeel th<strong>at</strong> there is some intuitive appeal to following principle:If 2 ℵ 0≥ κ then there is a Universally Baire Surjectionof R onto κ.This intuition motiv<strong>at</strong>ed wh<strong>at</strong> Koellner in [21] called the Foreman-Magidor program. This was an <strong>at</strong>tempt in [12] to prove th<strong>at</strong> if thereis a Universally Baire surjection of R onto an ordinal α then α < ω 2 .If this program was successful then we believe th<strong>at</strong> it can be construedas evidence for CH. The program as st<strong>at</strong>ed was shot down by WoodinTheorem 6.14 (Woodin [44]). If the NS ω1 is ω 2 s<strong>at</strong>ur<strong>at</strong>ed and there isa measurable cardinal then there is a ∆ 1 3 surjection of R onto ω 2 . Sincethis surjection is in L[R] then if we assume the existence of a properclass of Woodin cardinals then it is a Universally Baire surjection of Ronto ω 2 .If we combine this theorem with a result of Schimmerling ([35]) aboutPFA and AD and the fact from [11] th<strong>at</strong> MM implies th<strong>at</strong> NS ω1 isω 2 s<strong>at</strong>ur<strong>at</strong>ed. we getTheorem 6.15. MM implies th<strong>at</strong> there is a Universally Baire surjectionof R onto ω 2So our favored axiom MM implies th<strong>at</strong> really there is a ”nice” evidencefor the size of the continuum is ℵ 2 . (in the surjection sense.)Wh<strong>at</strong> is being called The Foreman-Magidor program is not completelydead because we do not know any model of ZFC in whichthere is a Universally Baire surjecton of R onto ω 3 . 99 We are talking here about model with choice. In a universe th<strong>at</strong> s<strong>at</strong>isfies ADthe first cardinal such there is no surjection of R onto it is r<strong>at</strong>her large and definitelylarger than ω 3 .This cardinal is usually denoted by Θ.