math/ordinal-zoo.git - A zoo of large countable ordinals

Branch	Commit message	Author	Age
master	Add disclaimers.	David A. Madore	6 years


Age	Commit message	Author	Files	Lines
2017-07-29	Add disclaimers.HEAD master	David A. Madore	1	-0/+7
2017-07-29	Add some more references to Simpson's SoSOA.	David A. Madore	1	-2/+8
2017-07-29	Improve some references.	David A. Madore	1	-4/+9
2015-11-17	Add references to papers by Gostanian.	David A. Madore	1	-4/+12
2015-11-12	Give a further pseudo-reference for the same statement.	David A. Madore	1	-1/+3
2015-11-12	Add a pseudo-reference for a statement that needs to be checked.	David A. Madore	1	-2/+8
2014-04-23	Fix obvious thinko.	David A. Madore	1	-1/+1
2013-02-20	Avoid making a dubious hypothesis on the collapsing function.	David A. Madore	1	-4/+3
2013-02-20	Reference Avigad's paper for ordinals closed under primitive recursive functi...	David A. Madore	1	-2/+7
2013-02-20	Fix/clarify what is meant by the various countable collapses.	David A. Madore	1	-13/+21
[...]

Clone
git://git.madore.org/math/ordinal-zoo.git
http://git.madore.org/git/math/ordinal-zoo.git