Disjunctions with stopping condition

Roman Kossak, Bartosz Wcisło

We introduce a tool for analysing models of ${\text{CT}}^{-}$, the compositional truth theory over Peano Arithmetic. We present a new proof of Lachlan's theorem that arithmetical…