Moroz, Boris Z. Max Planck Institute for Mathematics, Max Planck Society;
carl_on a diophantine_2012.pdf (Any fulltext), 333KB
Carl, M., & Moroz, B. Z. (2012). On a Diophantine representation of the predicate of provability. Zapiski Nauchnykh Seminarov POMI, 407, 77-104. Retrieved from http://www.mathnet.ru/links/fb2a07e6288810a65367bb1c24b91146/znsl5486.pdf.