析取正确性的两半
逻辑
2021-09-01 v1
摘要
Ali Enayat 曾提问：用于复合真谓词的分歧正确性(DC)的两半是否对皮亚诺算术是保守的。在本文中，我们证明原理“每个真的析取式有一个真析取支”等价于复合真谓词的受限归纳，因此它不是保守的。另一方面，逆蕴涵“任一有真析取支的析取式为真”可保守地添加到 PA 中。此处引入的方法使我们能够给出 DC 非保守性的直接证明。
引用
@article{arxiv.2108.13718,
title = {The two halves of disjunctive correctness},
author = {Cezary Cieśliński and Mateusz Łełyk and Bartosz Wcisło},
journal= {arXiv preprint arXiv:2108.13718},
year = {2021}
}