Introduction to measurable cardinals and L III

Printer-friendly version
Speaker: 
Ryan Sullivant
Institution: 
UCI
Time: 
Mon, 03/12/2018 - 4:00pm - 5:30pm
Host: 
Martin Zeman

In this talk we develop iterability theory for a single measure, give an inner model theoretic representation of 0-sharp, and show how this representation leads to non-trivial embedding of L into L.