Pages that link to "Item:Q5899843"

The following pages link to Functions provably total in $I^{-}Σ_{n}$ (Q5899843):

Displaying 3 items.

• The contribution of Zygmunt Ratajczyk to the foundations of arithmetic (Q1913625) (← links)
• Parameter free induction and provably total computable functions (Q1960416) (← links)
• Local induction and provably total computable functions (Q2453069) (← links)