35 citations · 55 across the 12 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021
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…
math.LO2021
Full satisfaction classes, definability, and automorphisms
Bartosz Wcisło
We show that for every countable recursively saturated model of Peano Arithmetic and every subset , there exists a full satisfaction class such…