The modal logic of forcing
| Authors | |
|---|---|
| Publication date | 2008 |
| Journal | Transactions of the Americal Mathematical Society |
| Volume | Issue number | 360 | 4 |
| Pages (from-to) | 1793-1817 |
| Organisations |
|
| Abstract | A set theoretical assertion psi is forceable or possible, written lozenge psi, if psi holds in some forcing extension, and necessary, written square psi, if psi holds in all forcing extensions. In this forcing interpretation of modal logic, we establish that if ZFC is consistent, then the ZFC-provable principles of forcing are exactly those in the modal theory S4.2. |
| Document type | Article |
| Published at | https://doi.org/10.1090/S0002-9947-07-04297-3 |
| Downloads | |
| Permalink to this page | |