[FOM] Independence without forcing
Todd.Eisworth@uni.edu
Todd.Eisworth at uni.edu
Fri Jul 11 19:24:54 EDT 2003
I asked earlier about obtaining independence results without forcing
and asked about getting "mathematical statements" independent of
ZFC + V=L.
When I originally posed the question, I had in mind speculating about
the existence of "mathematical" statements P such that ZFC + V=L + P
is consistent but not in a "standard" (read transitive?) version of L.
Todd
More information about the FOM
mailing list