A new principle in the interpretability logic of all reasonable arithmetical theories

Abstract

Journal Article A new principle in the interpretability logic of all reasonable arithmetical theories Get access Evan Goris, Evan Goris Department of Computer Science, the Graduate Center of the City University of New York, 365 Fifth avenue, New York, NY 10016, USAE-mail: evangoris@gmail.com Search for other works by this author on: Oxford Academic Google Scholar Joost J. Joosten Joost J. Joosten Departamento de Filosofía, Lógica y Filosofía de la Ciencia, Universidad de Sevilla, c/ Camilo José Cela s/n, 41018 Sevilla, EspañaE-mail: jjoosten@us.es Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 19, Issue 1, February 2011, Pages 1–17, https://doi.org/10.1093/jigpal/jzp082 Published: 24 December 2009 Article history Received: 24 January 2006 Published: 24 December 2009