The many faces of omega-logic

David Fernández-Duque

We consider several formalizations in the language of second-order arithmetic of "The formula $\varphi$ is a theorem of $\omega$-logic", including some which have been studied in the literatu…