35 citations · 55 across the 12 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
math.LO2017★ 5 cited
Models of Positive Truth
Mateusz Łełyk, Bartosz Wcisło
This paper is a follow-up to "Models of PT with internal induction for total formulae." We give a strenghtening of the main result on the semantical non-conservativity of the…
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…