[FOM] The 8000th Busy Beaver number eludes ZF set theory?

Arnon Avron aa at tau.ac.il
Wed May 4 13:14:01 EDT 2016

FOMers might find the content of the following interesting:


(Note that according to what is written there, Harvey 
Friedman was strongly involved in the described work).

Arnon Avron

More information about the FOM mailing list