Kurt Gödel Research Center

2016 seminar talk: Descriptive inner model theory and consistency results in ZFC from determinacy

Talk held by Rachid Atmai (KGRC) at the KGRC seminar on 2016-06-30.

Abstract

This talk is about a program that seeks to establish the consistency of combinatorial statements in ZFC from determinacy axioms and which studies the effects of the descriptive set theory in a determinacy model to a universe with choice.