A topological model for provability logic

1 points | by ibobev 4 hours ago