Title (deu)
Hod mice as a bridge between determinacy, forcing axioms and infintary combinatorics - part I
Speaker / Lecturer
Grigor Sargsyan
Polish Academy of Science, Warsaw
Description (deu)
In this talk we will outline recent developments in descritptive inner model theory that have applications in the theory of forcing axioms, in determinacy theory and in infintary combinatorics. In particular, we will concentrate on the following four themes. 1. Cofinality of Theta^{L(uB)} in models of Forcing Axioms and in models of Sealing. We will show that Sealing doesn't decide thie value of this cofinality. In particular, letting kappa be this cofinality, we will show that T_i=Sealing+kappa=omega_i is consistent for i=1, 2, and 3. This is joint work with Douglas Blue and Matteo Viale. 2. We will show that omega_1 is
Keywords (deu)
DeterminacyInner ModelsForcing Axioms
Subject (eng)
ÖFOS 2012 -- 101 -- Mathematics
Type (eng)
Language
English [eng]
Project
Title (deu)
Determinacy, Inner Models and Forcing Axioms
Project description (eng)
Workshop
Start date
2024-06-24
End date
2024-06-28
Date created
2024-06-27
Place of creation (eng)
ESI
Duration
52 minutes 04 seconds