Abstract

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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call