PCF and the covering proof, part 1
Seminar
Speaker
Dominik Adolf (BIU)
Date
28/10/2019 - 15:00 - 13:00Add to Calendar
2019-10-28 13:00:00
2019-10-28 15:00:00
PCF and the covering proof, part 1
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.
Building 403, Room 211
אוניברסיטת בר-אילן - Department of Mathematics
mathoffice@math.biu.ac.il
Asia/Jerusalem
public
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.
Last Updated Date : 28/10/2019
