{"entities":{"Q2805035":{"pageid":2815773,"ns":120,"title":"Item:Q2805035","lastrevid":42138728,"modified":"2025-05-23T17:36:55Z","type":"item","id":"Q2805035","labels":{"en":{"language":"en","value":"The modal logic of inner models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578132"}},"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":"Q2805035$3F9BFB65-656B-40A0-9A54-429C171AAE82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8a5c52168efbf92f4d458135bb9a10cbd269b8e","datavalue":{"value":"1370.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805035$4A44E67E-5363-4E40-BC09-B9BFBC20E4FE","rank":"normal"}],"P16":[{"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":"Q2805035$CEEE71B1-7BD8-4EAD-A724-309FE5541410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e1a1b7de203a5c9d150c102f80e5e4707ea2120","datavalue":{"value":{"entity-type":"item","numeric-id":6075463,"id":"Q6075463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805035$DE643B4C-5CB4-44E9-A83F-E71131478FAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5bed0c4e58e149f0de6217b7e76f74031a1108d","datavalue":{"value":{"time":"+2016-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2805035$8FF6C403-17FC-4E09-BF30-E0912101A7B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b98e4564ad701c89d8c103c2bd7d5ce9831a979","datavalue":{"value":"https://semanticscholar.org/paper/b59e6645576785e2d81dbb36fa4b8f44f17d172f","type":"string"},"datatype":"url"},"type":"statement","id":"Q2805035$A00A9457-442F-462B-8332-334C81C8C759","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805035$B4FD8C2C-7288-47CE-95E7-5530614512BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805035$8EDB50D4-80BA-43FB-8337-E41281011575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805035$FEE5BE5A-169F-4E34-A219-CF4D8F56DECE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a67efbae6bd6628afba33948b32fc1a645af1901","datavalue":{"value":"6578132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805035$1EA1CD1D-2B98-4EE3-AE54-43A0C181308F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805035$177C193E-D2E5-434F-9385-D3243A8EEB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"801e12ddb97dd3139f37ff581ccaf11627ed1874","datavalue":{"value":"multiverse","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805035$2977DF15-48B8-428E-9EC9-5525F3BD7C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"455f7028ce20d8220e961432a243eeaf98da4981","datavalue":{"value":"inner model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805035$5B17AFDA-B152-4D63-93A4-9784767353F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d3aec24a7ddcd11b3e155ab45df9484d4d81c99","datavalue":{"value":"ground model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805035$0258171A-9A20-4939-AEB0-57BC4B5966B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805035$5BA68AAE-B8D3-47FD-A123-29C63C3D28FD","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":"Q2805035$A4048EBF-0928-4E6E-9B01-CC3F1BDB0706","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6505f614d406684356214fdfd303c94690a2859","datavalue":{"value":"W2577159182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805035$FE551005-3534-44E9-B299-57D3B74F998E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64132418b4f4fae4f1e47b13947ae2ff9625c7ce","datavalue":{"value":{"entity-type":"item","numeric-id":498994,"id":"Q498994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805035$08F620E6-6132-4888-8ADA-C3B31B4816FC","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":"Q2805035$6E6DC6E2-CD1C-41D5-822D-C069CFE53D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed207326ec5f4c834fa050653882e901d0e854d","datavalue":{"value":{"entity-type":"item","numeric-id":2461186,"id":"Q2461186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805035$0B40CDA7-DE4C-4437-B2D5-B518458F2FFB","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":"Q2805035$855C92C3-2A52-4371-924D-97CF0B5FEAD8","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":"Q2805035$4D1C2052-05BE-4368-98FD-FEBF6F532DB0","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":"Q2805035$CD3F5E04-DF9F-4D5C-90E1-203C64CCE793","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":"Q2805035$4FA8ACF3-F175-4EA4-A722-5E53BA788E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda3f908e35865c4db560c3dc5ac0c7e4b363b62","datavalue":{"value":{"entity-type":"item","numeric-id":4532193,"id":"Q4532193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805035$290937B7-9B0B-4741-88B1-53FDCB7A5F76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"704c00174b9ee0f43986a7487cb7440aa00723a2","datavalue":{"value":"10.1017/JSL.2015.67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805035$D4ECC883-FBF5-4A1D-9845-06F54338290F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de267b4b0a0adecfd341255e937fd6f04024e8ac","datavalue":{"value":{"entity-type":"item","numeric-id":498994,"id":"Q498994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39b7f9a03527c57c2ab70d70878df6bd49085ca","datavalue":{"value":{"amount":"+0.7521002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805035$9E641AE6-D4E8-4C00-929B-7A8B9F6056F3","rank":"normal"},{"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":"0664116db8cbc59f2b26c614234fb44fd4657a1a","datavalue":{"value":{"amount":"+0.7351618","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805035$905A2BE1-81FA-4014-AAF9-0AFA4680E79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eee7caf9b37fe328e14cc646ca25deb7ccf0a31","datavalue":{"value":{"entity-type":"item","numeric-id":5044313,"id":"Q5044313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84645466a1445c01a445ac2f95225944e829adf2","datavalue":{"value":{"amount":"+0.7313296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805035$5BCF9E48-7F17-47BC-8B0D-F67D5D13AA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3f3e8f9a70eafc362c7e118df72eef86687b905","datavalue":{"value":{"entity-type":"item","numeric-id":3760527,"id":"Q3760527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b2cbbbfd1ff4d2b9ea76a00fdfeecebbe78009","datavalue":{"value":{"amount":"+0.7265481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805035$4BBE1133-9B1D-4DDA-ABA7-7CA378943F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a83fcaa51b0914de6326f0a8d12c6e11a64976c","datavalue":{"value":{"entity-type":"item","numeric-id":1731322,"id":"Q1731322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb2c966ce7de982bbffb27743e28dafdacbb481","datavalue":{"value":{"amount":"+0.7238221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805035$C5C3C6E8-55F1-4A96-986F-B712435BDBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c0fd28444600c93b89c7855fa13b8427a9d3a16","datavalue":{"value":{"entity-type":"item","numeric-id":4977217,"id":"Q4977217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0c15b90a05c8d748209ab642efba95133bd4da","datavalue":{"value":{"amount":"+0.7173281","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805035$D173FAF2-9065-485B-87F0-964DF471EBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64430f2f2bf07ae789d0daa263a5ae4a6c7776cb","datavalue":{"value":{"entity-type":"item","numeric-id":4678943,"id":"Q4678943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"177b8cfecffa5f6157e895dd2fd87ce039cd58f9","datavalue":{"value":{"amount":"+0.7164239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805035$0D85521A-D777-40CA-A318-E4C61BF64813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad53ebad60a8b81ed146029b22073aa6d4a84866","datavalue":{"value":{"entity-type":"item","numeric-id":3629227,"id":"Q3629227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72aacd147bad3d3689e188363508f1280286feba","datavalue":{"value":{"amount":"+0.7141279","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805035$BD46EDBA-78AD-4B0C-ACF4-D14DC122EFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e50452630a0fd34642e1a80818d883e745369392","datavalue":{"value":{"entity-type":"item","numeric-id":1012328,"id":"Q1012328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db4515c3b76e107ba1b30c3433e9410100c3952","datavalue":{"value":{"amount":"+0.71397656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805035$1A69167D-A2C6-41AA-9DF3-1B16AEA9DF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a060eeb1addb944e8f39b861cfc80b6c9961da06","datavalue":{"value":{"entity-type":"item","numeric-id":5202640,"id":"Q5202640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee22e2d2c6a6c7bfb0dafa8e173d27888473ba7","datavalue":{"value":{"amount":"+0.7105283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2805035$BC5509B7-5733-40BF-BB23-1E3D5983293C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26406ae3910abf1305a0f5e1ab18f8dc054dd8dd","datavalue":{"value":{"text":"The modal logic of inner models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2805035$E8CC6A38-9AF1-4713-A8C8-87E97EEB9ED0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805035$B2704A6D-3C96-4D4D-A8DF-D5BA0868D46F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"95d7cc99aef19dc502059c88f74a3656d24e8b92","datavalue":{"value":"In [Trans. Am. Math. Soc. 360, No. 4, 1793--1817 (2008; Zbl 1139.03039)], \\textit{J. D. Hamkins} and \\textit{B. L\u00f6we} identified the modal logic of forcing extensions; it turned out to be the well-known modal logic \\(\\mathsf {S4.2}\\). Later, in [Isr. J. Math. 207, Part 2, 617--651 (2015; Zbl 1367.03095)] \\textit{J. D. Hamkins} et al. studied the structural connections between a notion of forcing \\(\\Gamma\\) and its modal logic.NEWLINENEWLINEThe authors of the paper under review determine the model logic of inner models. In particular they prove that if \\(M\\) is a transitive model of \\(\\mathsf{ZFC}\\), then the modal logic of the inner models of \\(M\\) is \\(\\mathsf {S4.2Top}\\).NEWLINENEWLINEThe paper begins with the definition of the modal propositional logic \\(\\mathsf {S4.2Top}\\), which is the normal modal logic \\(\\mathsf {S4.2}\\) plus the axiom NEWLINE\\[NEWLINE\\mathsf{Top}: \\lozenge((\\square\\varphi\\leftrightarrow\\varphi)\\wedge(\\square\\neg\\varphi\\leftrightarrow\\neg\\varphi)).NEWLINE\\]NEWLINE The authors prove that a certain class of preorders that they call \\textit{inverted lollipops} characterizes \\(\\mathsf {S4.2Top}\\). They employ this characterization and a version of the machinery of ``buttons'' and ``switches'', which played a pivotal role in the paper of Hamkins et al. [loc. cit.], to prove that the modal logic of the inner models of \\(M\\) is contained in \\(\\mathsf{S4.2Top}\\). Using some methods from the Ph.D. Thesis of \\textit{J. Reitz} [The ground axiom. New York, NY: The Graduate Center of the City University of New York (Ph.D. Thesis) (2006)], the authors complete the proof of their main theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805035$FA2C9B32-B85D-4726-9222-F9336C99F89B","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":"Q2805035$B9C7C29F-FB18-4279-B544-081554E74650","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2805035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2805035"}}}}}