Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |