Models of PAWednesday, October 9, 20136:30 pmGC 4214.03
More on fullness
Athar Abdul-Quader
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