Truth and collection
Logic
2025-08-13 v1
Abstract
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.
Keywords
Cite
@article{arxiv.2403.19367,
title = {Truth and collection},
author = {Bartosz Wcisło},
journal= {arXiv preprint arXiv:2403.19367},
year = {2025}
}
Comments
32 pages