Pages that link to "Item:Q2968410"
From MaRDI portal
The following pages link to Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic (Q2968410):
Displaying 8 items.
- Reverse mathematical bounds for the termination theorem (Q324248) (← links)
- An intuitionistic version of Ramsey's theorem and its use in program termination (Q499082) (← links)
- Ramsey's theorem for pairs and provably recursive functions (Q987936) (← links)
- \(\Delta^0_1\) variants of the law of excluded middle and related principles (Q2085582) (← links)
- ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM (Q4600456) (← links)
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (Q4692078) (← links)
- RAMSEY’S THEOREM FOR PAIRS AND<i>K</i>COLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC (Q4977228) (← links)
- Refining the arithmetical hierarchy of classical principles (Q6094157) (← links)
