2024/03/28 by Bartosz Wcisło, BARTOSZ WCISŁO, Wcisło, Bartosz
Mathematics · Computer Science · Psychology · #Advanced Topology and Set Theory #Logic, programming, and type systems #Philosophy and Theoretical Science
paper · pdf · doi:10.48550/arxiv.2403.19367
Answering a question of Kaye, we show that the compositional truth theory with a full collection scheme is conservative over Peano Arithmetic. We demonstrate it by showing that countable models of compositional truth which satisfy the internal induction or collection axioms can be end-extended to models of the respective theory.