jdh.hamkins.org
The $\Sigma_1$-definable universal finite sequence
[bibtex key=”HamkinsWilliams:The-universal-finite-sequence”]