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

	Commit message (Expand)	Author	Age	Files	Lines
*	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	1	-0/+13
*	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