Structural connections between a forcing class and its modal logic
Every definable forcing class Γ gives rise to a corresponding forcing modality □Γ where □Γφ means that ϕ is true in all Γ extensions, and the valid principles of Γ forcing are the modal assertions that are valid for this forcing interpretation. For example, [10] shows that if ZFC is consistent, then...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Springer
2015
|