Pages that link to "Item:Q4692078"
From MaRDI portal
The following pages link to INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (Q4692078):
Displaying 7 items.
- \(\Delta^0_1\) variants of the law of excluded middle and related principles (Q2085582) (← links)
- Minimum classical extensions of constructive theories (Q2117797) (← links)
- Weihrauch and constructive reducibility between existence statements (Q4995601) (← links)
- PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC (Q5015727) (← links)
- König's lemma, weak König's lemma, and the decidable fan theorem (Q6047683) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
- Refining the arithmetical hierarchy of classical principles (Q6094157) (← links)
