שלחו לחבר

Jensen's covering theorem for L

Seminar
Speaker
Gabriel Fernandes (BIU)
Date
31/08/2020 - 13:00 - 11:00
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