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
אוניברסיטת בר-אילן - המחלקה למתמטיקה
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.
תאריך עדכון אחרון : 26/08/2020
