Comment Comment by GregBuchholz Can't mention Omega without linking to:Meta Math!http://arxiv.org/abs/math/0404335 parent GregBuchholz 12 years ago
Meta Math!
http://arxiv.org/abs/math/0404335