The following pages link to (Q3343982):
Displaying 4 items.
- Proof lengths for instances of the Paris-Harrington principle (Q526964) (← links)
- Subsystems of true arithmetic and hierarchies of functions (Q688433) (← links)
- Paris-Harrington principles, reflection principles and transfinite induction up to \(\epsilon _ 0\) (Q1082336) (← links)
- Some combinatorial principles equivalent to restrictions of transfinite induction up to \(\Gamma _ 0\) (Q1262308) (← links)