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


Andrew Bacon

More information about the FOM mailing list