The following pages link to (Q3081639):
Displaying 8 items.
- Reflection and indescribability in the constructible universe (Q891070) (← links)
- More on \(d\)-logics of subspaces of the rational numbers (Q1762355) (← links)
- On the reduction property for GLP-algebras (Q2358595) (← links)
- The polytopologies of transfinite provability logic (Q2449857) (← links)
- Derived topologies on ordinals and stationary reflection (Q4644955) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)
- A topological completeness theorem for transfinite provability logic (Q6103511) (← links)
