Double weakness
Abstract
We prove that, consistently, there exists a weakly but not strongly inaccessible cardinal λ for which the sequence 2θ:θ<λ is not eventually constant and the weak diamond fails at λ. We also prove that consistently diamond fails but a parametrized version of weak diamond holds at some strongly inaccessible λ.
0