Pages that link to "Item:Q2845566"

The following pages link to Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension (Q2845566):

Displaying 3 items.

• 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)