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



More information about the FOM mailing list