More on fullness

Models of PAWednesday, October 9, 20136:30 pmGC 4214.03

Athar Abdul-Quader

More on fullness

The CUNY Graduate Center

Continuing with the discussion from last week, I will state a few conditions that imply fullness and use that to show a few basic examples of full models. I will also show one direction of Kaye’s theorem that a model M is full if and only if its standard system is a model of full second order comprehension (CA_0).

Posted by on October 6th, 2013