{"entities":{"Q498994":{"pageid":500761,"ns":120,"title":"Item:Q498994","lastrevid":62333289,"modified":"2026-04-11T05:22:14Z","type":"item","id":"Q498994","labels":{"en":{"language":"en","value":"Structural connections between a forcing class and its modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6486894"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$C969E73B-0B67-496E-9278-9904AC401B30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4fb24979f32c3c3721d8a8ad3cb93d9de1edbc7","datavalue":{"value":{"text":"Structural connections between a forcing class and its modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q498994$573CFFF3-DD79-48B9-9DDA-38D13170C81B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b553b7a66d5920a27fcd98785fe5ba1055861466","datavalue":{"value":"1367.03095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498994$05FC1312-1676-4E8A-93B4-25E45AEE2093","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c237c0edc686c7e9971d10e201d8b8137b9a6f25","datavalue":{"value":{"entity-type":"item","numeric-id":167886,"id":"Q167886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$6AD58AF1-E9DE-4E05-A5B5-34E005ECF363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffe1bf40f4c1046e91a4b1aa2bca1fd76a1ba763","datavalue":{"value":{"entity-type":"item","numeric-id":498993,"id":"Q498993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$814076D5-1633-48ED-BDF6-CC6B66C4C647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1294aa2c1b7b8075353a8829fe6eed369d61b4a1","datavalue":{"value":{"entity-type":"item","numeric-id":1806279,"id":"Q1806279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$AB1A7DF9-7BCF-4A3C-BCC4-EDF573832B51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$55C7172E-6B0B-4BAE-8EF6-40EAD038A5AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecd5184120b252fc4fbf5faa8556e203e05835e2","datavalue":{"value":{"time":"+2015-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q498994$A851F0E8-5A3B-41F5-899D-38DAB6D4BBEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f67fa16b7efa471bb53b6a011ca61f843af9c97b","datavalue":{"value":"https://arxiv.org/abs/1207.5841","type":"string"},"datatype":"url"},"type":"statement","id":"Q498994$07C302B5-1451-4E8B-BA97-63D516B1A4F9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eac630e8254989cdd71782c8b7e9fa0129146b51","datavalue":{"value":"Let \\(\\varphi(q_0,\\ldots,q_n)\\) be modal propositional formula. In [Trans. Am. Math. Soc. 360, No. 4, 1793--1817 (2008; Zbl 1139.03039)], \\textit{J. D. Hamkins} and \\textit{B. L\u00f6we} defined \\(\\varphi(q_0,\\ldots,q_n)\\) to be a \\textit{valid principle of forcing} if for all sentences \\(\\psi_i\\) in the language of set theory, \\(\\varphi(\\psi_i,\\ldots,\\psi_n)\\) holds when the modal operators \\(\\square\\) and \\(\\lozenge\\) are interpreted as ``in all forcing extensions'' and ``in some forcing extension'', respectively. Further, \\(\\varphi(q_0,\\ldots,q_n)\\) is said to be a ZFC-\\textit{provable principle of forcing} if ZFC proves all substitution instances \\(\\varphi(\\psi_i,\\ldots,\\psi_n)\\). The main theorem of this earlier work is: If ZFC is consistent, then the ZFC-provable principles of forcing are exactly those in the modal theory \\(S4.2\\).  In the current paper, for \\(\\Gamma\\) a definable forcing class the modal operators \\(\\square\\) and \\(\\lozenge\\) are relativized to \\(\\Gamma\\), i.e., \\(\\square_{\\Gamma} \\) and \\(\\lozenge_{\\Gamma}\\) are interpreted as ``in all \\(\\Gamma\\) forcing extensions'' and ``in some \\(\\Gamma\\) forcing extension'', respectively. For various \\(\\Gamma\\), the authors seek to identify which modal assertions are valid.  Here are some sample results (always assuming that ZFC is consistent). The provably valid principles of collapse forcing and Cohen forcing are exactly \\(S4.3\\). The provably valid principles of c.c.c forcing and proper forcing are contained in \\(S4.3\\), but do not contain \\(S4.2\\). These results and others are achieved through the discovery of ``structural connections between a class of forcing notions and the modal logic of forcing to which it gives rise.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q498994$D9F06858-8A22-461E-A004-53DD49E37012","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$AA6B8197-818E-4B68-90AF-2B2660C2DD90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498994$7E03EBF8-320D-4FC4-838C-DA3134724539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498994$80CAC0BA-5DEC-4F85-98F9-075B040B8904","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2099fdd0eda8724dabefe2bc239f40ef5ee2bc39","datavalue":{"value":"6486894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498994$A5AABAFB-C4C9-45BC-9A60-D637DA21C6E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q498994$59DDDB02-968F-43AB-BB2B-F8D6CBE9CA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q498994$1B846A95-A395-40A7-B870-2CE0DA04C3CC","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$E829C18B-0E95-440D-9C43-C28E40D2C337","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55269cede31dfbf1c9796bd45a814c18e989b4de","datavalue":{"value":"W1609647769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498994$A7D7F216-C0A7-4729-88D7-13FDDF1DA3E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8e4ed03a5b8039d1c7deaf63c4281ea1d1793e","datavalue":{"value":{"entity-type":"item","numeric-id":3342560,"id":"Q3342560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$210FC508-DAD0-493E-9E95-BFB553969815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$305B328F-6DD7-4AFD-93E4-9D9CE491C46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$95464110-B61D-4568-92E6-D82227442A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17438e130310036395c9305536594da35a13410b","datavalue":{"value":{"entity-type":"item","numeric-id":454370,"id":"Q454370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$D4ECC553-7983-451C-B7B1-3819474930CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fd0b09dd2a814545ccc977ce0d4dd9111ff857f","datavalue":{"value":{"entity-type":"item","numeric-id":5137315,"id":"Q5137315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$EFE41742-8D79-4F3C-9924-34E6BE89123F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11553261014a5e0302ec22faa7dac265141daf04","datavalue":{"value":{"entity-type":"item","numeric-id":5387313,"id":"Q5387313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$75D3F5E9-8E27-4EBF-BB2B-CA6A94303556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b77e871d26216fd0cedfbad6866fe014e7756060","datavalue":{"value":{"entity-type":"item","numeric-id":3399190,"id":"Q3399190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$457C22FA-A2BD-4F46-AD59-9FB571D04563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577776df3aa92f9f40afa80ef3e4a3f282cb55fb","datavalue":{"value":{"entity-type":"item","numeric-id":5635427,"id":"Q5635427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$BBA7CEDD-F04D-4FAD-BD71-043CE1EFFDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd031867925522d5debdc71d5083763241a4dbf8","datavalue":{"value":{"entity-type":"item","numeric-id":3160552,"id":"Q3160552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$626C7127-A602-4BB8-B0DB-22BF3165DD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2097adc14ecbe197cdb57f9ee7d653330aaf5139","datavalue":{"value":{"entity-type":"item","numeric-id":5437615,"id":"Q5437615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$71273A5B-0631-4700-AF9F-03705250F668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e22edf873c1fa5a158cacfadc4a4c53539f89bba","datavalue":{"value":{"entity-type":"item","numeric-id":2936237,"id":"Q2936237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$8544D2D5-12E6-4DA4-862E-BAA0C1854A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b47ba1e3a9a24f55bb2a9787e72c255913b157ad","datavalue":{"value":{"entity-type":"item","numeric-id":5693598,"id":"Q5693598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$3A0536D4-93C5-4F33-B567-4F5D475334A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$2D87A952-B41E-4F20-A63E-4AF3F303BAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$9A0A3EC4-9C0D-406B-BFEC-09EE1B75B0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4580bbff017fcf6d1daee20ec2f62f9a6c28c762","datavalue":{"value":{"entity-type":"item","numeric-id":985003,"id":"Q985003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$2BD23F01-5E64-4BD0-BBE2-34CBF36CE69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b73baf2bd78ae39aac8046d824752f9073445b7","datavalue":{"value":{"entity-type":"item","numeric-id":4781761,"id":"Q4781761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498994$2D93E913-2A55-4097-A3CB-AE2B0BCC49C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"049bb09c22b0a729b0c83a9cdd16a862a9e377cf","datavalue":{"value":"10.1007/S11856-015-1185-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498994$5067D139-1294-4886-903E-75F46CC1ABE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56fb5531d8405143bd4e56bf59be79612c6fb227","datavalue":{"value":{"entity-type":"item","numeric-id":5437615,"id":"Q5437615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bbc363da1c0027288d81edb7a41bb96b0275fa8","datavalue":{"value":{"amount":"+0.8680519461631775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q498994$FAA5C39F-83C4-4EE1-9FA6-053AAD9D9B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"828cb47c2a27f529fed4ebd1b45b813960074eff","datavalue":{"value":{"entity-type":"item","numeric-id":4382481,"id":"Q4382481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9949367f8e732a49435630a668975462d6107ec6","datavalue":{"value":{"amount":"+0.8530627489089966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q498994$013889B8-92A2-4192-95F4-FB22687E18B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5606f10ce11631acc92de30e8ceb529a49446cf","datavalue":{"value":{"entity-type":"item","numeric-id":2805035,"id":"Q2805035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cbf4a35f0128cd917aa373ac38df3ec879f6e1f","datavalue":{"value":{"amount":"+0.7712458372116089","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q498994$6F4D8D2B-2F1C-422C-8AF7-6B4ADCAE867C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af75fe8a35e9b78a3808f5623323bcbf99af6e45","datavalue":{"value":{"entity-type":"item","numeric-id":3160552,"id":"Q3160552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef41aedca32c5765eb220441a2d1297a356baf8f","datavalue":{"value":{"amount":"+0.7426255941390991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q498994$E807995E-17A9-442A-9F3E-A9C3E9EE6022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1de6fb8e7d137d79e2a0b09563e1187944d7def","datavalue":{"value":{"entity-type":"item","numeric-id":454370,"id":"Q454370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bb592df5d712d9c95c64416ba865bb8b8f55adf","datavalue":{"value":{"amount":"+0.7219865918159485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q498994$BF50B7CF-DA1B-46CB-99C1-CCB5F7EF0D5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structural connections between a forcing class and its modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Structural_connections_between_a_forcing_class_and_its_modal_logic"}}}}}