2022/09/25 by Levine, Maxwell
#03E35 (Primary) #03E55 (Secondary) #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2209.12258
We introduce a forcing that adds a \square(ℵ2,ℵ0)-sequence with countable conditions under CH. Assuming the consistency of a weakly compact cardinal, we can find a forcing extension by our new poset in which both \square(ℵ2,< ℵ0) and \squareℵ1,ℵ0 fail in the forcing extension.