From f014ed08112c8deb0b54057e0dca61a05c0256c9 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Sat, 29 Jul 2017 21:50:56 +0200
Subject: Add disclaimers.

---
 ordinal-zoo.tex | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'ordinal-zoo.tex')

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
-- 
cgit v1.2.3

