FG1 Seminar talk

2017-01-20
Juan Aguilera
Topologies on the ordinals and polymodal provability logics

Abstract:
By taking "iterated order topologies," one can generate from a large-enough scattered space a sequence of topologies that yields an interpretation for provability logics that simultaneously describe transfinitely many notions of consistency.