math/ordinal-zoo.git, branch master A zoo of large countable ordinals http://git.madore.org/cgit/math/ordinal-zoo.git/atom?h=master 2017-07-29T19:50:56+00:00 Add disclaimers. 2017-07-29T19:50:56+00:00 David A. Madore david+git@madore.org 2017-07-29T19:50:56+00:00 urn:sha1:f014ed08112c8deb0b54057e0dca61a05c0256c9 Add some more references to Simpson's SoSOA. 2017-07-29T19:42:18+00:00 David A. Madore david+git@madore.org 2017-07-29T19:42:18+00:00 urn:sha1:f9d3012c3a6eff841ab6ab6a74788b31d90b84ec Improve some references. 2017-07-29T19:28:22+00:00 David A. Madore david+git@madore.org 2017-07-29T19:28:22+00:00 urn:sha1:4644226a5cfbffc55fa987cb54b6d990f4d0d77e Add references to papers by Gostanian. 2015-11-17T14:54:05+00:00 David A. Madore david+git@madore.org 2015-11-17T14:54:05+00:00 urn:sha1:18276c8a7f480670b9582dbd1a6387725df1421b Give a further pseudo-reference for the same statement. 2015-11-12T14:05:41+00:00 David A. Madore david+git@madore.org 2015-11-12T14:05:41+00:00 urn:sha1:4e11b97de71e1fe3c49cc86132a8fa33bea3d872 Add a pseudo-reference for a statement that needs to be checked. 2015-11-12T03:10:02+00:00 David A. Madore david+git@madore.org 2015-11-12T03:10:02+00:00 urn:sha1:d57d142e4786f8998256994bcdc375450b3cccea Fix obvious thinko. 2014-04-23T14:59:14+00:00 David A. Madore david+git@madore.org 2014-04-23T14:59:14+00:00 urn:sha1:a5ee587a783006ce70dc570540d708877f23323d Avoid making a dubious hypothesis on the collapsing function. 2013-02-20T15:20:13+00:00 David A. Madore david+git@madore.org 2013-02-20T15:20:13+00:00 urn:sha1:195c53462a4208d8f543851ffae741856170b13b Reference Avigad's paper for ordinals closed under primitive recursive functions. 2013-02-20T15:19:27+00:00 David A. Madore david+git@madore.org 2013-02-20T15:19:27+00:00 urn:sha1:741c8fc0752470f7314a2b39ca7bfbd38e9e59e3 Fix/clarify what is meant by the various countable collapses. 2013-02-20T15:00:52+00:00 David A. Madore david+git@madore.org 2013-02-20T14:59:38+00:00 urn:sha1:89e97a96a106c846159b31d2236253f0a016b1aa