Moroz, Boris Z. Max Planck Institute for Mathematics, Max Planck Society;
Carl, M., & Moroz, B. Z. (2013). A polynomial encoding provability in pure mathematics (outline of an explicit construction). Bulletin of the Belgian Mathematical Society. Simon Stevin, 20(1), 181-187. Retrieved from http://projecteuclid.org/euclid.bbms/1366306724.