summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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