The formalization of interpretability
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.
scientific article; zbMATH DE number 13442
scientific article