| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Give a further pseudo-reference for the same statement. | David A. Madore | 2015-11-12 | 1 | -1/+3 |
| * | Add a pseudo-reference for a statement that needs to be checked. | David A. Madore | 2015-11-12 | 1 | -2/+8 |
| * | Fix obvious thinko. | David A. Madore | 2014-04-23 | 1 | -1/+1 |
| * | Avoid making a dubious hypothesis on the collapsing function. | David A. Madore | 2013-02-20 | 1 | -4/+3 |
| * | Reference Avigad's paper for ordinals closed under primitive recursive functi... | David A. Madore | 2013-02-20 | 1 | -2/+7 |
| * | Fix/clarify what is meant by the various countable collapses. | David A. Madore | 2013-02-20 | 1 | -13/+21 |
| * | Fix spelling mistake on Stål Aanderaa's name. | David A. Madore | 2013-02-07 | 1 | -7/+7 |
| * | Note on Gandy ordinals. | David A. Madore | 2013-02-07 | 1 | -0/+11 |
| * | Note on pseudo-well-orderings. | David A. Madore | 2013-02-07 | 1 | -5/+22 |
| * | 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 | 2 | -0/+15 |
| * | 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 |
