diff options
| author | David A. Madore <david+git@madore.org> | 2017-07-29 21:50:56 +0200 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2017-07-29 21:50:56 +0200 |
| commit | f014ed08112c8deb0b54057e0dca61a05c0256c9 (patch) | |
| tree | 6c69627c89dc5a5c452b5eb69af133bd80f8662b | |
| parent | f9d3012c3a6eff841ab6ab6a74788b31d90b84ec (diff) | |
| download | ordinal-zoo-f014ed08112c8deb0b54057e0dca61a05c0256c9.tar.gz ordinal-zoo-f014ed08112c8deb0b54057e0dca61a05c0256c9.tar.bz2 ordinal-zoo-f014ed08112c8deb0b54057e0dca61a05c0256c9.zip | |
| -rw-r--r-- | ordinal-zoo.tex | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/ordinal-zoo.tex b/ordinal-zoo.tex index 86cde74..e651d0e 100644 --- a/ordinal-zoo.tex +++ b/ordinal-zoo.tex @@ -55,6 +55,10 @@ Git: \input{vcline.tex} \textbf{\textcolor{red}{Preliminary version:}} the labels in this document are subject to change. +None of these results are mine. The purpose of this document is +simply to collect various pointers to the literature, grouping them by +ordinals they are concerned with, and order these ordinals by size. + \section{Recursive ordinals} \setcounter{comcnt}{-1} @@ -488,6 +492,9 @@ compact, etc. \section{Various statements} +Again, none of these statements is due to me, they are well-known +facts for which I couldn't find a suitable published proof. + \begin{prop}\label{PlusPlusStableOrdinalIsSigmaOneOneReflecting} If $\alpha$ is such that $L_\alpha \mathrel{\preceq_1} L_{\alpha^{++}}$ (where $\alpha^+,\alpha^{++}$ are the two smallest |