Pages that link to "Item:Q2845566"
From MaRDI portal
The following pages link to Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension (Q2845566):
Displaying 7 items.
- Sharp thresholds for hypergraph regressive Ramsey numbers (Q618311) (← links)
- Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers (Q941316) (← links)
- Some bounds for the Ramsey-Paris-Harrington numbers (Q1157345) (← links)
- Dickson's lemma and weak Ramsey theory (Q1734268) (← links)
- Combinatorial unprovability proofs and their model-theoretic counterparts (Q2452679) (← links)
- Predicatively unprovable termination of the Ackermannian Goodstein process (Q5113418) (← links)
- Logical Approaches to Computational Barriers (Q5898852) (← links)