有界算术中等式理论一致性证明
逻辑
2025-04-16 v1 计算机科学中的逻辑
摘要
我们考虑允许替换但不允许归纳的纯等式理论，基于其函数符号的递归定义，记为 PETS。我们证明有界算术理论 可证明 PETS 的一致性。我们的方法采用基于近似值的 PETS 模型，该近似值类似于有界算术中域论的概念，这本身可能具有独立意义。
引用
@article{arxiv.2203.04832,
title = {On proving consistency of equational theories in Bounded Arithmetic},
author = {Arnold Beckmann and Yoriyuki Yamagata},
journal= {arXiv preprint arXiv:2203.04832},
year = {2025}
}