Pages that link to "Item:Q5359565"
From MaRDI portal
The following pages link to PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565):
Displaying 6 items.
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- Hyperarithmetical worm battles (Q2151396) (← links)
- (Q4946664) (← links)
- MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)
- A topological completeness theorem for transfinite provability logic (Q6103511) (← links)
