The following pages link to On the disjunctive Markov principle (Q897485):
Displaying 6 items.
- Some principles weaker than Markov's principle (Q892139) (← links)
- \(\Delta^0_1\) variants of the law of excluded middle and related principles (Q2085582) (← links)
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (Q4692078) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
- Refining the arithmetical hierarchy of classical principles (Q6094157) (← links)
