summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-07-29 21:50:56 +0200
committerDavid A. Madore <david+git@madore.org>2017-07-29 21:50:56 +0200
commitf014ed08112c8deb0b54057e0dca61a05c0256c9 (patch)
tree6c69627c89dc5a5c452b5eb69af133bd80f8662b
parentf9d3012c3a6eff841ab6ab6a74788b31d90b84ec (diff)
downloadordinal-zoo-f014ed08112c8deb0b54057e0dca61a05c0256c9.tar.gz
ordinal-zoo-f014ed08112c8deb0b54057e0dca61a05c0256c9.tar.bz2
ordinal-zoo-f014ed08112c8deb0b54057e0dca61a05c0256c9.zip
Add disclaimers.HEADmaster
-rw-r--r--ordinal-zoo.tex7
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