D. Ikegami (Turin): Large cardinals, forcing axioms, and the theory of subsets of omega_1

Freitag, 09.05.2014 15:15 im Raum SR 1D
Mathematik und Informatik

The goal of this research is to rule out "natural" independence phenomena in Set Theory by maximizing your theory in terms of large cardinals and forcing axioms. Using large cardinals in ZFC, by the results of Woodin, we have a clear understanding of the 1st order theory of sets of natural numbers and what it should be. In this talk, we try to extend this understanding to the 1st order theory of subsets of \omega_1 by using large cardinals, forcing axioms, and some hypothesis from inner model theory in ZFC. This is joint work with Matteo Viale.

Angelegt am Dienstag, 22.04.2014 11:16 von pfeifer
Geändert am Mittwoch, 23.04.2014 14:06 von pfeifer
[Edit | Vorlage]

Kolloquuium des Instituts für mathematische Logik