Pages that link to "Item:Q1073791"
From MaRDI portal
The following pages link to Provably recursive functions in fragments of Peano arithmetic (Q1073791):
Displaying 8 items.
- Proof lengths for instances of the Paris-Harrington principle (Q526964) (← links)
- Paris-Harrington principles, reflection principles and transfinite induction up to \(\epsilon _ 0\) (Q1082336) (← links)
- Characterizing the elementary recursive functions by a fragment of Gödel's \(T\) (Q1590659) (← links)
- On Grzegorczyk induction (Q1892940) (← links)
- Transfinite induction within Peano arithmetic (Q1919522) (← links)
- Recursion theory on weak fragments of Peano arithmetic: A study of definable cuts (Q2784778) (← links)
- On a Problem of J. Paris (Q5441123) (← links)
- Subrecursive degrees and fragments of Peano arithmetic (Q5945568) (← links)