Recent and upcoming talks by Ur Yaar

Ur Yaar: The Modal Logic of Forcing

HUJI Set Theory Seminar On Wednesday, December 26, Ur Yaar will talk about the modal logic of forcing. Title: The Modal Logic of Forcing   Abstract: Modal logic is used to study various modalities, i.e. continue reading…