On the proofs of arithmetical completeness for interpretability logic
On the proofs of arithmetical completeness for interpretability logic / Domenico Zambella