PCF and the covering proof, part 1

שלחו לחבר
Seminar
Speaker
Dominik Adolf (BIU)
Date
28/10/2019 - 15:00 - 13:00
Place
Building 403, Room 211
Abstract

We will show how the argument from the proof of the covering lemma for the core model can be utilized to analyze the PCF structure of certain products. Which products can be analyzed depends on the severity of anti-large cardinal assumptions. The greatest generality seems to be achieved if the Mitchell order of cardinals in the core model is bounded below the singular cardinal in question.

This is joint work with Omer Ben-Neria.