Abstract
This paper develops the philosophy and technology needed for adding a supremum operator to the interpretability logic ILM of Peano Arithmetic (PA). It is well-known that any theories extending PA have a supremum in the interpretability ordering. While provable in PA, this fact is not reflected in the theorems of
... read more