Evitable iterates of the consistency operator

James Walsh 0007. Evitable iterates of the consistency operator. Computability, 12(1):59-69, 2023. [doi]

Abstract

Abstract is missing.