Christian Espíndola: Weak completeness of infinitary intuitionistic logics without compact cardinals
Time: Wed 2016-10-12 10.00 - 11.45
Location: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University
Participating: 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.