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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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