A topological model for provability logicjohndcook.com4 points·surprisetalk··0 commentsOpen articleSaveView on HN