Pages that link to "Item:Q4977222"
From MaRDI portal
The following pages link to STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES (Q4977222):
Displayed 6 items.
- NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC (Q3389491) (← 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)
- COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES (Q6123584) (← links)
- TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES (Q6131227) (← links)