Wednesday, October 9, 20136:30 pmModels of PAGC 4214.03

More on fullness

Athar Abdul-Quader

The CUNY Graduate Center

Athar Abdul-Quader

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).