Send the following on WhatsApp
Continue to ChatComputable quotient presentations of models of arithmetic and set theory https://jdh.hamkins.org/computable-quotient-presentations-of-models-of-arithmetic-and-set-theory/
Computable quotient presentations of models of arithmetic and set theory https://jdh.hamkins.org/computable-quotient-presentations-of-models-of-arithmetic-and-set-theory/