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

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix obvious thinko.	David A. Madore	2014-04-23	1	-1/+1
*	Avoid making a dubious hypothesis on the collapsing function.	David A. Madore	2013-02-20	1	-4/+3
*	Reference Avigad's paper for ordinals closed under primitive recursive functi...	David A. Madore	2013-02-20	1	-2/+7
*	Fix/clarify what is meant by the various countable collapses.	David A. Madore	2013-02-20	1	-13/+21
*	Fix spelling mistake on Stål Aanderaa's name.	David A. Madore	2013-02-07	1	-7/+7
*	Note on Gandy ordinals.	David A. Madore	2013-02-07	1	-0/+11
*	Note on pseudo-well-orderings.	David A. Madore	2013-02-07	1	-5/+22
*	Add a note about not including large cardinals.	David A. Madore	2013-02-07	1	-0/+18
*	Add a classical joke.	David A. Madore	2013-02-07	1	-1/+4
*	Add a title and header.	David A. Madore	2013-02-07	2	-0/+15
*	Existence of ω₁ versus existence of 𝒫(ω).	David A. Madore	2013-02-07	1	-16/+55
*	More on reflecting ordinals and the semirecursive subsets they define.	David A. Madore	2013-02-06	1	-4/+21
*	Give proof of the fact that (++)-stable ordinals are Σ¹₁-reflecting.	David A. Madore	2013-02-06	1	-6/+65
*	Gaps in the constructible universe.	David A. Madore	2013-01-31	1	-11/+87
*	Various stuff around stability.	David A. Madore	2013-01-31	1	-24/+125
*	More cross-references.	David A. Madore	2013-01-31	1	-33/+37
*	Start writing down a zoo of ordinals.	David A. Madore	2013-01-30	1	-0/+324