HUJI Logic Seminar
This Wednesday, 22 November, we will have a meeting of the Logic Seminar. The meeting will be in Math 209, 22 November (Wednesday), 11:00 – 13:00.
Speaker: Yair Hayut
Title: Chang’s Conjecture at many cardinals simultaneously
Abstract. Chang’s Conjecture is a strengthening of Lowenheim-Skolem-Tarski theorem. While Lowenheim-Skolem-Tarski theorem is provable in ZFC, any instance of Chang’s Conjecture is independent with ZFC and has nontrivial consistency strength. Thus, the question of how many instances of Chang’s Conjecture can consistently hold simultaneously is natural.
I will talk about some classical results on the impossibility of some instances of Chang’s Conjecture and present some results from a joint work with Monroe Eskew.