关于 provability 逻辑 $\mathsf{GLP}$ 的（非）良根派生
代数几何
2025-04-03 v1
摘要
我们检讨了 provability 逻辑 中的循环、非良根派生和良根派生。虽然允许循环派生不会改变系统，但我们所考虑的非良根派生和良根派生定义了相同的proper infinitary 扩展。我们证明了该扩展在两个局部和全局语义后果关系方面都是 strongly algebraic 和 neighbourhood complete。事实上，这些完整性结果是为全局和局部后果关系的generalization 证明的，我们称为 global-local。此外，我们证明了原始系统 （仅使用普通派生）在strong local neighbourhood completeness。
引用
@article{arxiv.2504.01387,
title = {Derived McKay correspondence for real reflection groups of rank three},
author = {Akira Ishii and Shu Nimura},
journal= {arXiv preprint arXiv:2504.01387},
year = {2025}
}
备注
17 pages