Short proofs for slow consistency
A. Freund, F. Pakhomov

This publication is cited in the following articles:

1. ANTON FREUND, “A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH”, The Review of Symbolic Logic, 15:4 (2022), 880  
2. Albert Visser, “The absorption law”, Arch. Math. Logic, 60:3-4 (2021), 441