Comment Comment by GolDDranks The current "independent of ZF" upper bound seems to be BB(432).Source: https://wiki.bbchallenge.org/wiki/Logical_independence parent GolDDranks 18 days ago
Source: https://wiki.bbchallenge.org/wiki/Logical_independence