Local collection scheme and end-extensions of models of compositional truth

Mateusz Łełyk, Bartosz Wcisło

We introduce a principle of local collection for compositional truth predicates and show that it is conservative over the classically compositional theory of truth in the arithmeti…