An Induction without Hypothesis
I think Nate and Eli will get this without a lot of background set up. Let $$\omega(x) = \sum_{\mathfrak t : \underline L \nearrow \underline{NL}} \mathrm{Wr}(\mathbf p_{\mathfrak t}; x) \mathbf e_{\mathfrak t} \in \Lambda^L(V),$$ where… Read More »An Induction without Hypothesis