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
*
Improve some references.
David A. Madore
2017-07-29
1
-4
/
+9
|
*
Add references to papers by Gostanian.
David A. Madore
2015-11-17
1
-4
/
+12
|
*
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 ↵
David A. Madore
2013-02-20
1
-2
/
+7
|
|
|
|
functions.
*
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