ParentFull threadGolDDranks·The current "independent of ZF" upper bound seems to be BB(432).Source: https://wiki.bbchallenge.org/wiki/Logical_independenceView on HN