捕捉 IPC 的 Muchnik 格的自然因子
逻辑
2013-06-28 v2
摘要
我们给出了 Muchnik 格的自然因子示例，这些因子源于低性 (lowness)、1-通用性 (1-genericity)、超免疫自由性 (hyperimmune-freeness) 和可计算追踪性 (computable traceability) 等概念，并能够捕捉直觉主义命题逻辑 (IPC)。这为 IPC 提供了一种纯粹的计算语义。
引用
@article{arxiv.1210.6538,
title = {Natural Factors of the Muchnik Lattice Capturing IPC},
author = {Rutger Kuyper},
journal= {arXiv preprint arXiv:1210.6538},
year = {2013}
}
备注
Various minor corrections