3

Answers
votes newest views recent
13
Busy Beaver - Proof for BB(2) = 4
0
Morse-Kelley set theory consistency strength
3
analysis over non-Archimedean ordered fields