Pages that link to "Item:Q3353014"
From MaRDI portal
The following pages link to Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics (Q3353014):
Displaying 14 items.
- An intuitionistic version of Ramsey's theorem and its use in program termination (Q499082) (← links)
- Another proof of the intuitionistic Ramsey theorem (Q685402) (← links)
- An analysis of Ramsey's theorem (Q1327381) (← links)
- Intuitionism: an inspiration? (Q2065727) (← links)
- Using Ramsey's theorem once (Q2274133) (← links)
- Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic (Q2968410) (← links)
- A Mechanized Proof of Higman’s Lemma by Open Induction (Q3295156) (← links)
- Higman’s Lemma and Its Computational Content (Q3305561) (← links)
- Ramsey theory for the Cantor space (Q3970496) (← links)
- (Q4955354) (← links)
- (Q5013829) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- Constructive decision via redundancy-free proof-search (Q5919012) (← links)
- Refined program extraction from classical proofs (Q5957850) (← links)