jdh.hamkins.org
The $\Sigma_1$-definable universal finite sequence
[bibtex key=”HamkinsWilliams:The-universal-finite-sequence”] Abstract. We introduce the $\Sigma_1$-definable universal finite sequence and prove that it exhibits the universal extension…