35 citations · 52 across the 14 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.LO2017★ 6 cited
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…
math.LO2017★ 35 cited
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…