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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add a pseudo-reference for a statement that needs to be checked.	David A. Madore	2015-11-12	1	-2/+8
\|
*	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 ↵	David A. Madore	2013-02-20	1	-2/+7
\| \| \| \|	functions.
*	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	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