析取马尔可夫原理的等价命题
逻辑
2016-11-09 v1
摘要
本短注旨在指出逆向构造性数学中弱半直觉主义原理 MP 的自然等价物的丰富来源：欧几里得几何中的许多简单定理在经典解读下（例如将 解释为 且 ）等价于析取马尔可夫原理 MP。我们给出这一现象的一个例子。
引用
@article{arxiv.1611.02543,
title = {Equivalents of disjunctive Markov's principle},
author = {Matthew Hendtlass},
journal= {arXiv preprint arXiv:1611.02543},
year = {2016}
}