Computable quotient presentations of models of arithmetic and set theory Posted on February 27, 2017 by Joel David Hamkins