Christian Espíndola: Achieving completeness: from constructive set theory to large cardinals (Presentation of PhD thesis manuscript)
Time: Fri 2015-09-11 13.15 - 15.00
Location: Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University
Participating: ChristiaEspíndola, Department of Mathematics, Stockholm University
PS The thesis manuscript can be found under "Thesis" on Christian Espíndola's personal webpage
personal webpage
A direct link: