The $\Sigma_1$-definable universal finite sequence Posted on September 25, 2019 by Joel David Hamkins