Forcing a countable structure to belong to the ground model

by Kaplan and Shelah. [KpSh:1054]

Suppose that P is a forcing notion, L is a language (in {V}), dot {tau} a P-name such that P forces ``dot {tau} is a countable L-structure''. In the product P x P, there are names dot {tau_{1}}, dot {tau_{2}} such that for any generic filter G=G_{1} x G_{2} over P x P, dot {tau}_{1}[G]= dot {tau}[G_{1}] and dot {tau}_{2}[G]= dot {tau}[G_{2}] . Zapletal asked whether or not P x P forces dot {tau}_{1} cong dot {tau}_{2} implies that there is some M in {V} such that P forces dot {tau} cong check {M} . We answer this negatively and discuss related issues.

Back to the list of publications