Pages that link to "Item:Q4133629"
From MaRDI portal
The following pages link to Built-up systems of fundamental sequences and hierarchies of number-theoretic functions (Q4133629):
Displaying 10 items.
- Subsystems of true arithmetic and hierarchies of functions (Q688433) (← links)
- An independence result for \((\Pi^ 1_ 1-CA)+BI\) (Q1097882) (← links)
- On bimodal logics of provability (Q1332858) (← links)
- Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones (Q1908812) (← links)
- Ackermannian Goodstein sequences of intermediate growth (Q2106602) (← links)
- Deducibility and independence in Beklemishev's autonomous provability calculus (Q2672664) (← links)
- Natural well-orderings (Q3772212) (← links)
- Postscript to “built-up systems of fundamental sequences and hierarchies of number-theoretic functions” (Q4141229) (← links)
- Trees, ordinals and termination (Q5044740) (← links)
- A WALK WITH GOODSTEIN (Q6204143) (← links)