[FOM] inverse forcing problem

Monroe Eskew meskew at math.uci.edu
Wed Jul 21 23:42:28 EDT 2010

Let N be a transitive model of ZFC.  Let P be a partial order and G
such that for some M, G is (M,P)-generic and N=M[G].

1) Is M unique?
2) Is M definable in N?

More information about the FOM mailing list