Two series of formalized interpretability principles for weak systems of arithmetic | Publicación