| ▲ | GolDDranks 5 hours ago | |
The current "independent of ZF" upper bound seems to be BB(432). Source: https://wiki.bbchallenge.org/wiki/Logical_independence | ||
| ▲ | GolDDranks 5 hours ago | |
The current "independent of ZF" upper bound seems to be BB(432). Source: https://wiki.bbchallenge.org/wiki/Logical_independence | ||