index
:
math/ordinal-zoo.git
master
A zoo of large countable ordinals
git repository hosting
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
Files
Lines
*
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