35 citations · 41 across the 4 of their papers we have counts for
5 papers · 1 filter
The two halves of disjunctive correctness
Cezary Cieśliński, Mateusz Łełyk, Bartosz Wcisło
Ali Enayat had asked whether two halves of Disjunctive Correctness (DC) for the compositional truth predicate are conservative over Peano Arithmetic. In this article, we show that…
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…
Truth and Feasible Reducibility
Ali Enayat, Mateusz Łełyk, Bartosz Wcisło
Let be any of the three canonical truth theories (Compositional truth without extra induction), (Friedman--Sheard truth without extra…
Models of Weak Theories of Truth
Mateusz Łełyk, Bartosz Wcisło
In the following paper we propose a model-theoretical way of comparing the "strength" of various truth theories which are conservative over PA. Let denote the class…
Notes on bounded induction for the compositional truth predicate
Mateusz Łełyk, Bartosz Wcisło
We prove that the theory of the extensional compositional truth predicate for the language of arithmetic with -induction scheme for the truth predicate and the full arithmetic…