On the proofs of arithmetical completeness for interpretability logic
scientific article; zbMATH DE number 440198