Time:  12:30  13:30 
Room: 
Wean Hall 8220

Speaker: 
Daisuke Ikegami Tokyo Denki University Japan 
Title: 
On a class of maximality principles

Abstract: 
The Maximality Principle (MP) states that for any firstorder sentence φ in the language of set theory, if it is forced by a set forcing that φ is true in any further set generic extension, then φ must be true. The basic idea of MP was proposed by Chalons and its basic theory was developed by Hamkins. In this talk, we will discuss several variants of maximality principles and their relations with forcing axioms, bounded forcing axioms, and large cardinals. This is joint work with Nam Trang. 