A.M. Pitts 局部算子的可实现性
逻辑
2013-01-07 v1
摘要
我们研究一种带有局部算子 的可实现性概念，该概念最初由 A.M. Pitts 在其论文中提出。利用 Suslin-Kleene 定理，我们证明了此种可实现性的可表示函数恰好是超算术函数。我们展示了存在一种非标准算术的可实现性解释，尽管它具有经典特征，却存在于一个非常非经典的宇宙中，其中一致性原理成立而 Kőnig 引理失效。我们猜想该局部算子为超算术函数提供了一种有用的索引。
引用
@article{arxiv.1301.0735,
title = {Realizability with a Local Operator of A.M. Pitts},
author = {Jaap van Oosten},
journal= {arXiv preprint arXiv:1301.0735},
year = {2013}
}
备注
10 pages