Event Detail

Fri Sep 22, 2006
60 Evans Hall, 4:10–6 PM
Logic Colloquium
John Krueger (UC-Berkeley)
Some Results on Internal Approachability

An internally approachable set is a model which can be approximated by an increasing sequence of models, whose initial segments appear in the original model. This idea is basic to many combinatorial and forcing arguments in classical set theory. A related idea is that of an internally club set, which is a model which can be approximated by a sequence whose elements appear in the model. We will discuss the recent proof that these two notions are consistently distinct.