User contributions
- 10:54, 13 July 2019 (diff | hist) . . (+4) . . m Busy beaver function (Added a link to fast-growing hierarchy page.)
- 06:33, 11 January 2017 (diff | hist) . . (-393) . . Talk:Con ZFC (I think I see now, n/m.) (current)
- 18:27, 10 January 2017 (diff | hist) . . (+112) . . Limit ordinal (Fixed a couple of things.)
- 18:18, 10 January 2017 (diff | hist) . . (+282) . . Zero (Added some detail to definition, and removed a couple of mistaken statements (the collection of all ordinals is not a set, for one).)
- 17:58, 10 January 2017 (diff | hist) . . (+4) . . Talk:Con ZFC
- 17:56, 10 January 2017 (diff | hist) . . (+22) . . Talk:Con ZFC
- 17:55, 10 January 2017 (diff | hist) . . (+367) . . N Talk:Con ZFC (Created page with "May I have a clarification on "expressible" in the phrase "whenever \alpha is expressible"? Does this perhaps mean any definable ordinal, or any ordinal at all? I don't quite...")