summaryrefslogtreecommitdiffstats
path: root/ordinal-zoo.tex
Commit message (Collapse)AuthorAgeFilesLines
* 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 ↵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-071-0/+13
|
* 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