Pages that link to "Item:Q4644499"
From MaRDI portal
The following pages link to Well-orders in the transfinite Japaridze algebra (Q4644499):
Displaying 10 items.
- Hyperations, Veblen progressions and transfinite iteration of ordinal functions (Q385073) (← links)
- On provability logics with linearly ordered modalities (Q456968) (← links)
- Turing-Taylor expansions for arithmetic theories (Q514512) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Hyperarithmetical worm battles (Q2151396) (← links)
- The polytopologies of transfinite provability logic (Q2449857) (← links)
- Deducibility and independence in Beklemishev's autonomous provability calculus (Q2672664) (← links)
- Derived topologies on ordinals and stationary reflection (Q4644955) (← links)
- MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
