Reflection ranks and Ordinal Analysis. - Fedor Pakhomov; James Walsh 007 (J. Symb. Log., 2021)

Evitable iterates of the consistency operator. - James Walsh 007 (Comput., 2023)

Characterizations of ordinal analysis. - James Walsh 007 (Ann. Pure Appl. Log., 2023)

Reducing ω-model reflection to iterated syntactic reflection. - Fedor Pakhomov; James Walsh 007 (J. Math. Log., 2023)

Corrigendum to Reducing ω-model reflection to iterated syntactic reflection. - Fedor Pakhomov; James Walsh 007 (J. Math. Log., 2023)

An Incompleteness Theorem via Ordinal Analysis. - James Walsh 007 (J. Symb. Log., 2024)