Reducing ω-model reflection to iterated syntactic reflection

Fedor Pakhomov, James Walsh 0007. Reducing ω-model reflection to iterated syntactic reflection. J. Mathematical Logic, 23(2), August 2023. [doi]

Abstract

Abstract is missing.