35 citations · 52 across the 14 of their papers we have counts for
1 paper · 1 filter
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…