Pages that link to "Item:Q1904403"
From MaRDI portal
The following pages link to A Ramsey theorem in Boyer-Moore logic (Q1904403):
Displaying 8 items.
- Another proof of the intuitionistic Ramsey theorem (Q685402) (← links)
- Computer theorem proving in mathematics (Q704001) (← links)
- Informal versus formal mathematics (Q885512) (← links)
- On the metamathematics of the P vs. NP question (Q2383632) (← links)
- Some thoughts on hypercomputation (Q2497877) (← links)
- Independence of Ramsey theorem variants using \(\varepsilon _0\) (Q2789881) (← links)
- Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension (Q2845566) (← links)
- A formalised theorem in the partition calculus (Q6073894) (← links)