{"entities":{"Q454370":{"pageid":456137,"ns":120,"title":"Item:Q454370","lastrevid":62027922,"modified":"2026-04-11T03:17:55Z","type":"item","id":"Q454370","labels":{"en":{"language":"en","value":"Fatal Heyting algebras and forcing persistent sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6088849"}},"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":"Q454370$F4DB5CE3-E97F-4D0A-BD58-CCDA5D2D4448","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bd0086c1dd88c5e2f3036e55d3a03c6bea0ed18","datavalue":{"value":{"text":"Fatal Heyting algebras and forcing persistent sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q454370$4F97A474-662F-4768-8A6C-0975C691EE9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53d967051bf1fd916c8eb4a639cfa50474cb679c","datavalue":{"value":"1368.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454370$F5C308CA-435B-44BC-AE0C-1993F9714EF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"026e455a402c15c7cc3bd3d5ce05760db74a42d3","datavalue":{"value":{"entity-type":"item","numeric-id":454369,"id":"Q454369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454370$7788EC99-5D44-4C4B-9B4B-6CE5C74C475D","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":"Q454370$ABEBF405-E5C3-400E-9621-19C980DAF2A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454370$956F9EE2-E0D6-4288-9C7B-98AB1C1EFD27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce482458de9f4ace900fbb372ae38b12a79d36f","datavalue":{"value":{"time":"+2012-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q454370$0BE466C2-1A83-47DF-97EE-98ED7B81A640","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e7245fde97187be6dd95fd6e755e510adfe7160c","datavalue":{"value":"This paper is one of the last papers of late Leo Esakia, written jointly with Benedikt L\u00f6we. It appeared in the volume of Studia Logica dedicated to the memory of Professor Esakia. The main result of the paper shows that a sentence \\(\\varphi\\) in the first-order language of ZFC is forcing persistent if and only if there is a formula \\(\\psi\\) in the language of propositional logic such that \\(\\varphi=H(T(\\psi)\\). Here, \\(T\\) is the G\u00f6del translation of the intuitionistic propositional calculus HC into the modal system S4, and \\(H\\) is a forcing translation of S4 into ZFC. From this, it is derived that the intermediate logic KC of the weak law of excluded middle is the logic of ZFC-provable forcing persistent sentences. Finally, it is proved that the category of fatal Heyting algebras (the algebras that model the intermediate logic KC) is both a reflective and coreflective subcategory of the category of all Heyting algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q454370$D10BFF74-A970-42E6-8C81-6B1963D80E99","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7143c6361839f455013982e4000195fb1ffc73d0","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454370$CF82261D-30F7-4D69-8FCB-318975AB40C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454370$01F03885-F0A5-4FFE-AB5B-BBA5BB36A537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454370$894DA5A0-7AAB-48F1-9DFA-5FE0AF50A51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454370$065152D4-5F38-45BD-ACE7-2CFDA56D371C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454370$C0663030-DC49-4067-866D-8C0E7FFEF679","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"365bfe55f3768920e10dc3408e9616688281fec7","datavalue":{"value":"6088849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454370$AA943AAA-9166-4FE1-894A-A14E79EA464F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q454370$AFDF4062-BDD1-4F78-AD2E-47A9BF1C79B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q454370$8DAA133E-301B-4CDA-9ADE-D025701D1DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q454370$0CA0297A-6821-4792-82CD-9F2AD1F4A8BC","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":"Q454370$AEF8ACB9-BFF0-4770-B84F-A95023A6F32E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b85164cee9c60043e4443bcad2ef744dc4a9948","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9393-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q454370$DD9F625C-4636-480D-AB7C-BA1F2CED3F63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d39ead110c53ce39700c9a2851d2fef1132c5ff2","datavalue":{"value":"W1988045504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454370$0FCC3E78-7AD4-40A2-8CAE-4FD5E2E4F4EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a95559a4d80f773d72a450145ac01751def5111a","datavalue":{"value":{"entity-type":"item","numeric-id":3164468,"id":"Q3164468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454370$E2AC5F7A-C619-4D54-92A1-3A0FF2F780B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98befa40a88f1564a4b3114c79ec1a8c1b4aa88a","datavalue":{"value":{"entity-type":"item","numeric-id":636264,"id":"Q636264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454370$0AF5E8F9-313C-4C0C-88E9-6E05B95DC796","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":"Q454370$C6504657-0E87-4C18-B47F-809A7839799C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec842f244293bbf8375f7e382cf748a52233713","datavalue":{"value":{"entity-type":"item","numeric-id":5567827,"id":"Q5567827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454370$2D9DFA0D-83DA-4A2D-8FA9-419B5AFB0DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454370$FBDEBE87-6EAE-430D-9F1D-E8032901EB08","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":"Q454370$B682656D-D013-452A-96B0-4DB3452C95AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04990e5da5412a221af389577214d4f06f7e9591","datavalue":{"value":{"entity-type":"item","numeric-id":5697718,"id":"Q5697718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454370$7D1ABF96-51C7-4A8A-B746-E60228593584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17763a898dc957bec5af152a939bc9a715eab224","datavalue":{"value":{"entity-type":"item","numeric-id":1260029,"id":"Q1260029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454370$0FB33051-CF01-455C-8A66-29049B043C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454370$2C390861-8DC3-4319-AB05-A1826AB225C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454370$58BEFA5E-BFD0-4ECA-B951-AF4EF08E706D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a62ac8d8976c4aaaa0e70e0187204f603c660604","datavalue":{"value":{"entity-type":"item","numeric-id":2652483,"id":"Q2652483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454370$D6CF7E32-C002-4C34-A0DE-14F3D8D3CC33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3693343fd8ff8129e51831aac5d0814992f26c5d","datavalue":{"value":"10.1007/S11225-012-9393-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454370$75E533E5-724A-46B2-B21A-3395851992A9","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":"84d28a4b596c4ab94ed174ec87bafccb85bb17bc","datavalue":{"value":{"amount":"+0.7266282439231873","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":"Q454370$D9457DEC-86F0-4D83-A1BE-8F51A78DC329","rank":"normal"},{"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":"48d0d622bab5747d774b86157f4cfb8f80caaf58","datavalue":{"value":{"amount":"+0.7225359678268433","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":"Q454370$575F1420-F07F-4A46-8570-E61754EE3A74","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":"15ff8f27d74d51e9568261757b14a0f2a9fbb31b","datavalue":{"value":{"amount":"+0.6853545904159546","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":"Q454370$149DCBE7-4529-4B69-8519-53791EA28469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30a610c80361c652d7fef9ac17913fbec9f9101f","datavalue":{"value":{"entity-type":"item","numeric-id":3644804,"id":"Q3644804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74fdce06035075b378164454686512230dab214c","datavalue":{"value":{"amount":"+0.6807027459144592","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":"Q454370$E56227DD-CEA6-4C7F-9626-19F83524480E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6016374a7476ff0cad9697687f1d4f504bfc42d","datavalue":{"value":{"entity-type":"item","numeric-id":1982014,"id":"Q1982014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5acaf268818293b42fa8368cd21d4cf1816063cd","datavalue":{"value":{"amount":"+0.6786417961120605","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":"Q454370$F7C1AAB6-3E2C-4179-BC90-7494E2B45EB0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454370$F14B4750-6363-4BB5-82B4-201F821B2728","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fatal Heyting algebras and forcing persistent sentences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fatal_Heyting_algebras_and_forcing_persistent_sentences"}}}}}