Fixed-Point Posets in Theories of Truth. - Stephen Mackereth (J. Philos. Log., 2019)

Two-Sorted Frege Arithmetic is not conservative. - Stephen Mackereth; Jeremy Avigad (Rev. Symb. Log., 2023)

Infinity, Choice, and Hume's Principle. - Stephen Mackereth (J. Philos. Log., 2024)