关于 $\Pi^0_{n+1}$-LEM、$\Sigma^0_{n+1}$-LEM 与 $\Sigma^0_{n+1}$-DNE 的注记
逻辑
2018-07-30 v1
摘要
我们证明 Akama、Berardi、Hayashi 与 Kohlenbach 关于某些算术原理相对于直觉主义算术 HA 的相对独立性的结果，在 Kleene 与 Vesley 的直觉主义分析系统 FIM 中也成立；FIM 扩展了 HA，且与经典算术一致但与经典分析不一致。我们也考虑了这些原理的普遍闭包的双重否定，并表明其相对于 HA 与 FIM 表现出不同的行为。若干基本问题尚待解决。
引用
@article{arxiv.1807.10472,
title = {Note on $\Pi^0_{n+1}$-LEM, $\Sigma^0_{n+1}$-LEM and $\Sigma^0_{n+1}$-DNE},
author = {Joan R. Moschovakis},
journal= {arXiv preprint arXiv:1807.10472},
year = {2018}
}
备注
Extended abstract of contributed talk, 5th Panhellenic Logic Symposium, July 25-28, 2005 in Athens, Greece