summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Reference Avigad's paper for ordinals closed under primitive recursive ↵David A. Madore2013-02-201-2/+7
| | | | functions.
* Fix/clarify what is meant by the various countable collapses.David A. Madore2013-02-201-13/+21
|
* Fix spelling mistake on Stål Aanderaa's name.David A. Madore2013-02-071-7/+7
|
* Note on Gandy ordinals.David A. Madore2013-02-071-0/+11
|
* Note on pseudo-well-orderings.David A. Madore2013-02-071-5/+22
|
* Add a note about not including large cardinals.David A. Madore2013-02-071-0/+18
|
* Add a classical joke.David A. Madore2013-02-071-1/+4
|
* Add a title and header.David A. Madore2013-02-072-0/+15
|
* Existence of ω₁ versus existence of 𝒫(ω).David A. Madore2013-02-071-16/+55
|
* More on reflecting ordinals and the semirecursive subsets they define.David A. Madore2013-02-061-4/+21
|
* Give proof of the fact that (++)-stable ordinals are Σ¹₁-reflecting.David A. Madore2013-02-061-6/+65
|
* Gaps in the constructible universe.David A. Madore2013-01-311-11/+87
|
* Various stuff around stability.David A. Madore2013-01-311-24/+125
|
* More cross-references.David A. Madore2013-01-311-33/+37
|
* Start writing down a zoo of ordinals.David A. Madore2013-01-301-0/+324