Some principles weaker than Markov's principle
|Title||Some principles weaker than Markov's principle|
|Publication Type||Journal Article|
|Year of Publication||2015|
|Authors||Fujiwara M, Ishihara H, Nemoto T|
|Journal||Archive for Mathematical Logic|
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 system EL of elementary analysis.