局部收集概型与复合真值模型的自末端扩张
逻辑
2020-06-22 v1
摘要
我们引入复合真值谓词的局部收集原理，并证明在算术设定下它相对于经典复合真值理论是保守的。该公理陈述：限制到任意句法复杂度的公式时，所得谓词满足完全收集。特别地，使用应用于任意给定（证明的编码）中出现的句子的真值谓词收集论证，不足以表明该证明的结论为真，这与归纳概型的情况形成鲜明对比。我们分析了关于复合真值模型的自末端扩张及复合真值谓词收集概型的各种进一步结果。
引用
@article{arxiv.2006.11124,
title = {Local collection scheme and end-extensions of models of compositional truth},
author = {Mateusz Łełyk and Bartosz Wcisło},
journal= {arXiv preprint arXiv:2006.11124},
year = {2020}
}
备注
33 pages