jdh.hamkins.org
Computable quotient presentations of models of arithmetic and set theory
[bibtex key=GodziszewskiHamkins2017:Computable-quotient-presentations-of-models-of-arithmetic-and-set-theory]
