From 507624f68b824458e6d4449994c51ffaa2223413 Mon Sep 17 00:00:00 2001 From: Terence Tao Date: Sun, 14 Dec 2025 13:01:02 -0800 Subject: [PATCH] add blueprint ref --- paper/intro.tex | 2 ++ 1 file changed, 2 insertions(+) diff --git a/paper/intro.tex b/paper/intro.tex index 9433367b6..6674826b9 100644 --- a/paper/intro.tex +++ b/paper/intro.tex @@ -214,3 +214,5 @@ \subsection{Further directions} \item In \Cref{spectrum-sec} we report on the determination of laws with full spectrum, i.e., with magmas satisfying them of all finite sizes. \item In \Cref{higman-neumann} we report on classifying the laws of order $8$ that are equivalent to the Higman-Neumann law $\Eq{42323216}$. \end{itemize} + +We refer the reader to the ETP blueprint for a more in depth discussion of several of the topics covered in this report, including a detailed treatment of particularly difficult equations and complex magma constructions, further treatment of term rewriting theory and equational law invariants, a list of ``hard'' implications that required particular effort to resolve in our project, and some implementation details of how tools such as automated theorem provers were utilized.