Some principles weaker than Markov’s principle
Some principles weaker than Markov’s principle
复制标题
一些比马尔可夫原理弱的原理
DOI：
10.1007/s00153-015-0444-9
复制
发表时间：
2015
影响因子：
0.3
通讯作者：
Hajime Ishihara and Takako Nemoto
中科院分区：
文献类型：
--
作者：
Makoto Fujiwara;Hajime Ishihara and Takako Nemoto
本文系统地研究了几个原理，并给出了一个弱于析取马尔可夫原理的原理。我们还证明了在初等分析系统EL的某些推广中，该原理是不可导的，并且严格弱于MP_∞.
We systematically study several principles and give a principle which is weaker than disjunctive Markov’s principle (MP∨). We also show that the principle is underivable and strictly weaker than MP∨in certain extensions of the systemELof elementary analysis.