|
Organizers |
If you can prove it, then it must be true
by
Ilijas Farah
York University
Coauthors: Michael Hrusak, Paul Larson
Many statements about the existence of uncountable objects can be changed by forcing. This is in contrast to the fact that modest large cardinal assumptions imply projective statements are forcing absolute. I will talk about a class of statements about the uncountable that are forcing absolute and an application to `countable dense homogeneous' metric spaces.
Date received: February 7, 2005
Copyright © 2005 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 # capc-16.