Pages that link to "Item:Q385073"
From MaRDI portal
The following pages link to Hyperations, Veblen progressions and transfinite iteration of ordinal functions (Q385073):
Displaying 10 items.
- On provability logics with linearly ordered modalities (Q456968) (← links)
- Turing-Taylor expansions for arithmetic theories (Q514512) (← links)
- The logic of Turing progressions (Q2176413) (← links)
- The polytopologies of transfinite provability logic (Q2449857) (← links)
- Deducibility and independence in Beklemishev's autonomous provability calculus (Q2672664) (← links)
- Veblen hierarchy (Q2865735) (← links)
- (Q4032064) (← links)
- STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES (Q4977222) (← links)
- Iterability for (transfinite) stacks (Q5156473) (← links)
- A topological completeness theorem for transfinite provability logic (Q6103511) (← links)