Strong Completeness of Provability Logic for Ordinal Spaces

Juan P. Aguilera, David Fernández-Duque

Abashidze and Blass independently proved that the modal logic $\mathsf{GL}$ is complete for its topological interpretation over any ordinal greater than or equal to ${\omega }^{\omega }$ equipped with…