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 6 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)
- Intuitionism: an inspiration? (Q2065727) (← links)
- A Mechanized Proof of Higman’s Lemma by Open Induction (Q3295156) (← links)
- Higman’s Lemma and Its Computational Content (Q3305561) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
