Pages that link to "Item:Q1694812"
From MaRDI portal
The following pages link to The omega-rule interpretation of transfinite provability logic (Q1694812):
Displaying 8 items.
- 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)
- Turing Jumps Through Provability (Q3195699) (← links)
- Derived topologies on ordinals and stationary reflection (Q4644955) (← links)
- MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
- A topological completeness theorem for transfinite provability logic (Q6103511) (← links)