捕捉 IPC 的梅德韦杰夫格的自然因子
逻辑
2015-07-14 v2
摘要
Skvortsova 证明了存在一个梅德韦杰夫格的因子可以捕捉直觉主义命题逻辑 (IPC)。然而，她的因子在某种意义上是不自然的，因为它是通过特设方式构造的。我们提出了这样一个因子的更自然的例子。我们还表明，对于梅德韦杰夫格的每一个非平凡因子，其理论都包含在 Jankov 逻辑中，即 IPC 加上弱排中律的演绎闭包。这回答了 Sorbi 和 Terwijn 提出的一个问题。
引用
@article{arxiv.1311.2010,
title = {Natural Factors of the Medvedev Lattice Capturing IPC},
author = {Rutger Kuyper},
journal= {arXiv preprint arXiv:1311.2010},
year = {2015}
}