2020/12/03 by Guzman, Osvaldo, Kalajdzievski, Damjan · 1 citation
#03E17 #03E35 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2012.02306
We prove that every MAD family can be destroyed by a proper forcing that preserves P-points. With this result, we prove that it is consistent that ω1=\mathfraku