[FOM] Independence without forcing
Todd.Eisworth@uni.edu
Todd.Eisworth at uni.edu
Wed Jul 9 22:25:50 EDT 2003
Dear FOMers,
I am curious if anyone has any thoughts and/or speculations about
the possibility of obtaining independence results in set theory
without forcing. For example, how might one obtain a "mathematical
incompleteness" in the theory ZFC + V=L?
How far away are we from such results? Has anyone devoted serious
time and energy to such questions?
On a related note, how does the wider community of logicians view the
future of forcing?
Best,
Todd
More information about the FOM
mailing list