Pages that link to "Item:Q892139"
From MaRDI portal
The following pages link to Some principles weaker than Markov's principle (Q892139):
Displayed 8 items.
- On the disjunctive Markov principle (Q897485) (← links)
- On Brouwer's continuity principle (Q1788331) (← links)
- \(\Delta^0_1\) variants of the law of excluded middle and related principles (Q2085582) (← links)
- A note on the independence of premiss rule (Q2793909) (← 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)