Hod mice as a bridge between determinacy, forcing axioms and infintary combinatorics - part I

You are here: University of Vienna PHAIDRA Detail o:2075458

Open in new window

Title (deu)

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)

lecture

Language

[eng]

Persistent identifier

https://phaidra.univie.ac.at/o:2075458

Date created

2024-06-27