Atlas home || Conferences | Abstracts | about Atlas

Boise Extravaganza in Set Theory
March 28-30, 2008
Boise State University
Boise, Idaho, USA

Organizers
Liljana Babinkostova, Stefan Geschke and Marion Scheepers

View Abstracts
Conference Homepage

An initial segment property for mice
by
Richard Ketchesid
Miami University
Coauthors: Steve Jackson

We show that "codes" for ordinals less than w2 which exist in certain inner models M form an initial segment of w2 in the sense that if f:w1 → w1 is in M and [g]m < [f]m in L(R), where m is the club filter (an ultrafilter in L(R)) on w1, then such a g already exists in M.

Date received: March 22, 2008

Copyright © 2008 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cawg-12.