Jensen's covering theorem for L

Seminar
Speaker
Gabriel Fernandes (BIU)
Date
31/08/2020 - 13:00 - 11:00Add to Calendar 2020-08-31 11:00:00 2020-08-31 13:00:00 Jensen's covering theorem for L Jensen's covering theorem for Godel's constructible universe, L, says that if there is no non-trivial elementary embedding from L into L, then for every uncountable set of ordinals, X, there is a set, Y, such that Y is an element of L, |X| = |Y| and X is a subset of Y.    We will sketch the proof of the covering lemma for L. Building 216, Room 132 אוניברסיטת בר-אילן - Department of Mathematics mathoffice@math.biu.ac.il Asia/Jerusalem public
Place
Building 216, Room 132
Abstract

Jensen's covering theorem for Godel's constructible universe, L, says that if there is no non-trivial elementary embedding from L into L, then for every uncountable set of ordinals, X, there is a set, Y, such that Y is an element of L, |X| = |Y| and X is a subset of Y. 

 
We will sketch the proof of the covering lemma for L.

Last Updated Date : 26/08/2020