[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.


More information about the FOM mailing list