Algebra 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.