Computable quotient presentations of models of arithmetic and set theory

Michał Tomasz Godziszewski, Joel David Hamkins

We prove various extensions of the Tennenbaum phenomenon to the case of computable quotient presentations of models of arithmetic and set theory. Specifically, no nonstandard model…