We prove that the Tree Property at ω2 together with BPFA is equiconsistent with the existence of a weakly compact reflecting cardinal, and if BPFA is replaced by BPFA(ω1) then it is equiconsistent with the existence of just a weakly compact cardinal. Similarly, we show that the Special Tree Property for ω2 together with BPFA is equiconsistent with the existence of a reflecting Mahlo cardinal, and if BPFA is replaced by BPFA(ω1) then it is equiconsistent with the existence of just a Mahlo cardinal.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.