summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Add disclaimers.HEADmasterDavid A. Madore2017-07-291-0/+7
* Add some more references to Simpson's SoSOA.David A. Madore2017-07-291-2/+8
* Improve some references.David A. Madore2017-07-291-4/+9
* Add references to papers by Gostanian.David A. Madore2015-11-171-4/+12
* Give a further pseudo-reference for the same statement.David A. Madore2015-11-121-1/+3
* Add a pseudo-reference for a statement that needs to be checked.David A. Madore2015-11-121-2/+8
* Fix obvious thinko.David A. Madore2014-04-231-1/+1
* Avoid making a dubious hypothesis on the collapsing function.David A. Madore2013-02-201-4/+3
* Reference Avigad's paper for ordinals closed under primitive recursive functi...David A. Madore2013-02-201-2/+7
* 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