2013/07/12 by Kenneth Kunen, Kunen, Kenneth
Mathematics · #03E17 #03E35 #06E05 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03E17 #msc:03E35 #msc:06E05
paper · pdf · doi:10.48550/arxiv.1307.3533
This version corrects some errors in the original arXiv version
arxiv created 2014/10/29 · arxiv updated 2014/10/30
Assuming GCH, we construct an atomic boolean algebra whose pi-weight is strictly less than the least size of a maximal irredundant family.