Computable Quotient Presentations of Models of Arithmetic and Set Theory.

Michal Tomasz Godziszewski, Joel David Hamkins

Browse the full WoLLIC paper archive.