Christian Espíndola: Weak completeness of infinitary intuitionistic logics without compact cardinals
Tid: On 2016-10-12 kl 10.00 - 11.45
Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University
Medverkande: Christian Espíndola
Abstract: The completeness theorem for infinitary intuitionistic logics makes an appeal to large cardinals assumptions (compactness) when the theories have arbitrary cardinality. We will see how to avoid such assumptions by weakening the notion of completeness through a restriction on the cardinality of the theories.