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
|
_version_ | 1797052479152586752 |
---|---|
author | Hamkins, J Leibman, G Löwe, B |
author_facet | Hamkins, J Leibman, G Löwe, B |
author_sort | Hamkins, J |
collection | OXFORD |
description | 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 the ZFC-provably valid principles of the class of all forcing are precisely the assertions of the modal theory S4.2. In this article, we prove similarly that the provably valid principles of collapse forcing, Cohen forcing and other classes are in each case exactly S4.3; the provably valid principles of c.c.c. forcing, proper forcing, and others are each contained within S4.3 and do not contain S4.2; the provably valid principles of countably closed forcing, CH-preserving forcing and others are each exactly S4.2; and the provably valid principles of ω 1-preserving forcing are contained within S4.tBA. All these results arise from general structural connections we have identified between a forcing class and the modal logic of forcing to which it gives rise. |
first_indexed | 2024-03-06T18:32:09Z |
format | Journal article |
id | oxford-uuid:0a02eae6-0750-4cc0-9e52-6b0e2dc9ae6e |
institution | University of Oxford |
language | English |
last_indexed | 2024-03-06T18:32:09Z |
publishDate | 2015 |
publisher | Springer |
record_format | dspace |
spelling | oxford-uuid:0a02eae6-0750-4cc0-9e52-6b0e2dc9ae6e2022-03-26T09:21:36ZStructural connections between a forcing class and its modal logicJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:0a02eae6-0750-4cc0-9e52-6b0e2dc9ae6eEnglishSymplectic Elements at OxfordSpringer2015Hamkins, JLeibman, GLöwe, BEvery 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 the ZFC-provably valid principles of the class of all forcing are precisely the assertions of the modal theory S4.2. In this article, we prove similarly that the provably valid principles of collapse forcing, Cohen forcing and other classes are in each case exactly S4.3; the provably valid principles of c.c.c. forcing, proper forcing, and others are each contained within S4.3 and do not contain S4.2; the provably valid principles of countably closed forcing, CH-preserving forcing and others are each exactly S4.2; and the provably valid principles of ω 1-preserving forcing are contained within S4.tBA. All these results arise from general structural connections we have identified between a forcing class and the modal logic of forcing to which it gives rise. |
spellingShingle | Hamkins, J Leibman, G Löwe, B Structural connections between a forcing class and its modal logic |
title | Structural connections between a forcing class and its modal logic |
title_full | Structural connections between a forcing class and its modal logic |
title_fullStr | Structural connections between a forcing class and its modal logic |
title_full_unstemmed | Structural connections between a forcing class and its modal logic |
title_short | Structural connections between a forcing class and its modal logic |
title_sort | structural connections between a forcing class and its modal logic |
work_keys_str_mv | AT hamkinsj structuralconnectionsbetweenaforcingclassanditsmodallogic AT leibmang structuralconnectionsbetweenaforcingclassanditsmodallogic AT loweb structuralconnectionsbetweenaforcingclassanditsmodallogic |