Pages that link to "Item:Q1082336"

The following pages link to Paris-Harrington principles, reflection principles and transfinite induction up to \(\epsilon _ 0\) (Q1082336):

Displaying 8 items.

• The paradox of the knower revisited (Q392283) (← links)
• Proof lengths for instances of the Paris-Harrington principle (Q526964) (← links)
• Subsystems of true arithmetic and hierarchies of functions (Q688433) (← links)
• Provably recursive functions in fragments of Peano arithmetic (Q1073791) (← links)
• Some combinatorial principles equivalent to restrictions of transfinite induction up to \(\Gamma _ 0\) (Q1262308) (← links)
• Proof Pearl: Wellfounded Induction on the Ordinals Up to ε 0 (Q3523183) (← links)
• Reflection Principles in Fragments of Peano Arithmetic (Q3745836) (← links)
• Arithmetical transfinite induction and hierarchies of functions (Q4314785) (← links)