2024/08/02 by Bartosz Wcisło, Wcisło, Bartosz
Mathematics · Engineering · #History and Theory of Mathematics #Advanced Numerical Analysis Techniques #Mathematics and Applications
paper · pdf · doi:10.48550/arxiv.2408.01198
Fujimoto and Halbach had introduced a novel theory of type-free truth CD which satisfies full classical compositional clauses for connectives and quantifiers. Answering their question, we show that the induction-free variant of that theory is conservative over Peano Arithmetic.