The formalization of interpretability (Q1176098)

The author discusses interpretability in weak theories without \(\Sigma_ 1\)-collection principle for details and gives a careful derivation of principles of Interpretability Logic valid in any extension of I\(\Delta_ 0+\Omega_ 1\). The case containing the \(\Sigma_ 1\)- collection principle is also discussed in relation with cut and with the conservation problem. This paper provides an extensive introduction to the formalization of interpretability, and the comprehensive references are useful.