真理与收集
Truth and collection
AI总结：
回答Kaye问题，证明带完整收集方案的组合真理理论在Peano Arithmetic上保守，通过可数模型的末端扩张展示。
摘要：
回答Kaye的问题，我们证明带完整收集方案的组合真理理论在Peano Arithmetic上保守。通过证明满足内部归纳或收集公理的组合真理可数模型能末端扩张为相应理论的模型来展示。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
