Pages that link to "Item:Q4314785"
From MaRDI portal
The following pages link to Arithmetical transfinite induction and hierarchies of functions (Q4314785):
Displaying 5 items.
- Subsystems of true arithmetic and hierarchies of functions (Q688433) (← links)
- Arithmetic transfinite induction and recursive well-orderings (Q1071019) (← links)
- The contribution of Zygmunt Ratajczyk to the foundations of arithmetic (Q1913625) (← links)
- Arithmetical independence results using higher recursion theory (Q5313376) (← links)
- Ranked structures and arithmetic transfinite recursion (Q5437595) (← links)