Truth and Feasible Reducibility

Ali Enayat, Mateusz Łełyk, Bartosz Wcisło

Let $\mathcal{T}$ be any of the three canonical truth theories ${\text{CT}}^{-}$ (Compositional truth without extra induction), ${\text{FS}}^{-}$ (Friedman--Sheard truth without extra…