Two New Series of Principles in the interpretability Logic of All Reasonable Arithmetical Theories

Evan Goris, Joost J. Joosten. Two New Series of Principles in the interpretability Logic of All Reasonable Arithmetical Theories. Journal of Symbolic Logic, 85(1):1-25, 2020. [doi]

Abstract

Abstract is missing.