[FOM] S4 + ZFC

Andrew Bacon noizhed at gmail.com
Sun Aug 26 18:44:21 EDT 2007


> In a recent post to FOM, Prof. Scott suggests using Boolean-valued models
> for classical ZFC to investigate modal set theory.

A paper that might be relevant is Hamkins + Lowe `The Modal Logic of Forcing'

http://www.illc.uva.nl/Publications/ResearchReports/PP-2005-26.text.pdf



--
Andrew Bacon
http://users.ox.ac.uk/~lady1900


More information about the FOM mailing list