吸收律，或如何将希尔伯特-伯奈斯-勒布（Hilbert-Bernays-Löb）进行克雷塞尔化
逻辑
2020-05-19 v3
摘要
在本文中，我们展示如何为给定的一致理论 构造一个 -谓词，它既满足勒布条件（Löb Conditions）又满足克雷塞尔条件（Kreisel Condition）——即使 是不可靠的（unsound）。我们的构造使得 自身能够验证克雷塞尔条件的一个内部版本的满足性。
引用
@article{arxiv.1804.07465,
title = {The Absorption Law, or How to Kreisel a Hilbert-Bernays-L\"ob},
author = {Albert Visser},
journal= {arXiv preprint arXiv:1804.07465},
year = {2020}
}