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