{"entities":{"Q705542":{"pageid":707391,"ns":120,"title":"Item:Q705542","lastrevid":63668643,"modified":"2026-04-11T14:44:17Z","type":"item","id":"Q705542","labels":{"en":{"language":"en","value":"Completeness of S4 with respect to the real line: revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2131599"}},"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":"Q705542$C3D0A563-212B-45D7-8514-BA0C3B821ADC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45e4d24065061d55f0cb547265c03a7a68570eac","datavalue":{"value":{"text":"Completeness of S4 with respect to the real line: revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q705542$4B5C1914-07ED-473F-B7A4-C8C9D8190F2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c6d72a8ea502482a9659b95e35078baf95f329a","datavalue":{"value":"1066.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705542$34D20E73-63C7-4F87-8406-8D0D8B91EABB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705542$BAD7E42B-4A7F-4A72-B225-0C8E3467FE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b834b8a5fa066825015fdce4bdac31cee4bdc84b","datavalue":{"value":{"entity-type":"item","numeric-id":186438,"id":"Q186438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705542$260522DD-AA8A-46FF-BAE9-73DF3D9FEC16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705542$50D54813-5F39-4337-A65A-889DDCE977BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a8a233f543dd709165488f1586caeaa25d93c0f","datavalue":{"value":{"time":"+2005-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q705542$68E08C66-A78A-42AB-8E3F-C1C8828A3BE9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d69998e868adb9af46a6a837d3d2bba22adcc42","datavalue":{"value":"This is a proof of topological completeness of S4 for the real interval \\((0,1)\\), simplifying the original proof by \\textit{J. C. C. McKinsey} and \\textit{A. Tarski} [Ann. Math. (2) 45, 141--191 (1944; Zbl 0060.06206)]. It provides a continuous and open mapping of \\((0,1)\\) onto an arbitrary finite rooted Kripke model \\(K\\), which is sufficient for topological bisimulation. First, a subcase of the intuitionistic subcase is treated, when \\(K\\) is a tree. The embedding \\(f:(0,1)\\to K\\) is defined by recursion of the height of the tree. Then the full intuitionistic subcase is handled by operation of the disjoint sum of trees with identification of some nodes. After that, the general case of S4 is redone using a similar construction interleaved at each step with certain embeddings into more and more complicated subsets of the Cantor set. Analysis of this construction allows the authors to prove that S4 is complete for valuations \\(V\\) where \\(V(p)\\) for each propositional variable \\(p\\) belongs to a Boolean algebra generated by countable unions of intervals and points. The results are extended to a system containing S5 and a certain connecting axiom. Another simplification (allowing a further simplification using ideas of this paper) was obtained by \\textit{M. Aiello, J. van Benthem} and the first author [J. Log. Comput. 13, 889--920 (2003; Zbl 1054.03015)] and independently by the reviewer and \\textit{T. Zhang} [``A proof of topological completeness for S4 in \\((0,1)\\)'', Ann. Pure Appl. Logic 133, 231--245 (2005; Zbl 1133.03009)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q705542$8F7FFC3E-61FA-4957-B139-BD6A293E7714","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705542$544BBB0E-AD37-495D-B047-686FBCC3DDFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705542$8E65834C-B34E-4097-8610-EDB884CCC56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705542$C8CB6824-0858-46A8-A3CB-0CEDCA4DB009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5f9f9fdc01eced40a1042148c42cf5fd19eced2","datavalue":{"value":"54C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705542$E8E75AC3-A797-46B2-A4BE-833BBEE4C5A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a668044488e69b40496c6f28f7f8f1d0ff0a4888","datavalue":{"value":"2131599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705542$3B845040-AECB-434C-BF98-82865DB2A73A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ecb0f0f4dcd6bbcbb8cb1391a82c865f06ce566","datavalue":{"value":"Modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q705542$8305D93E-DA25-4295-BAB4-3BFCEB78AEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d88644fd15a569d108dc33e7f4ccd61bb29b2a6","datavalue":{"value":"Boolean algebras with operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q705542$5B0F454E-D5A8-44B8-A987-3C78A05A4878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fc8534b3bb8a981c00a2744422055e258daa4c0","datavalue":{"value":"Completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q705542$DF81C4B7-F055-4D7C-97B3-C2510126AB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d205869df7db31e7d803f887b9ad68c0e4c10d03","datavalue":{"value":"Topological completeness of S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q705542$54121AF6-89D2-4DE3-9E98-100C65EF5583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ebd4d9dca7a9f413e3c3c5a1b0bdaaf148941c","datavalue":{"value":"Cantor set","type":"string"},"datatype":"string"},"type":"statement","id":"Q705542$F67CD1E8-D98C-432A-8988-D03B7D6E55B0","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":"Q705542$3E06100C-5BA5-4891-85C1-2AB8ED2E3A61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec31b852b26c7f994144cc6fcf2b7b4a9dd171b4","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.06.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q705542$D4723809-D285-4010-87E7-EFF74D29FB84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"775f426e29ba14f78e8f411a1352c844b5851917","datavalue":{"value":"W1979519099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705542$F3A0EF81-494A-460A-8F05-DC05BC4B3056","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdb93aa40a2b71a7cdb6159d56df01f935ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":4812319,"id":"Q4812319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705542$A219C39F-201C-497E-B2C7-AF354A067FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be6a9337537d788c0f954a98dd0beaf99cf08a09","datavalue":{"value":{"entity-type":"item","numeric-id":4877439,"id":"Q4877439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705542$6EBD4852-2BAA-444E-BC3C-C5553E25714E","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":"Q705542$3A9AE91B-D959-4F28-86E5-4AFFAC9E7860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c5bd77658599c5554a8e7dcdd076e9aac3d86a","datavalue":{"value":{"entity-type":"item","numeric-id":4149742,"id":"Q4149742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705542$B12D613D-37A9-4F3B-88A9-F4A6ABF8B033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705542$A218C53E-CC14-48D3-A0ED-9C4C9AC32755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705542$6D26DF66-4A1A-4BEA-84BA-3C0236721FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"073953b72a82e21e4784ca8c7d1aefdf5cf3a5b1","datavalue":{"value":{"entity-type":"item","numeric-id":3890665,"id":"Q3890665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705542$F70AB375-817D-4BF6-9E73-701D28CF9F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705542$7F0EA15B-B049-4E1A-96B2-AC8D56F571D8","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":"Q705542$6A94C097-3AE6-4B2A-A6AD-E214EBBBA4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe93285115d1dbd7b9657de2c933ecdf7b83d55","datavalue":{"value":{"entity-type":"item","numeric-id":4250039,"id":"Q4250039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705542$A6F419A3-F843-4DAA-AB26-0AA48DB98819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a88244ba6c0e0088330938e89d8802ed2bb9372","datavalue":{"value":{"entity-type":"item","numeric-id":2647528,"id":"Q2647528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705542$F93D1A27-F08D-4B88-8C2D-DE231998CE8D","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":"Q705542$8EB1B6E3-C0F7-4D0D-AB32-CE449012E620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888e656b64c352f98e2fdeb1c14e7f5ef2ed3b3c","datavalue":{"value":{"entity-type":"item","numeric-id":4531583,"id":"Q4531583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705542$A0DFD184-5BEB-4447-922D-0ED157571233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe8fbfd8b07cc4614253ef1dbf6c75fef2a5ec8","datavalue":{"value":{"entity-type":"item","numeric-id":1419386,"id":"Q1419386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q705542$4C07ACC9-29FD-44E9-9D75-1079F47F28C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54a6aad01086158bcb4ac1935b22c5cd089e50f8","datavalue":{"value":"10.1016/J.APAL.2004.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q705542$30BF9395-8B93-4EF5-9BF7-53AC61521CAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ee3a494332ed63baedcb82bb6f8b1924d2c23d","datavalue":{"value":{"entity-type":"item","numeric-id":1772779,"id":"Q1772779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba318a12ff670db9c056efb160f0d8b475ff24e2","datavalue":{"value":{"amount":"+0.9199597239494324","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":"Q705542$6C8F3020-C70C-4576-8888-448242DECB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"467d210af205c85e6317b112cb135df234ff238e","datavalue":{"value":{"entity-type":"item","numeric-id":5479024,"id":"Q5479024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da7dc744cada7895a394531c185549097787592","datavalue":{"value":{"amount":"+0.8869412541389465","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":"Q705542$C8539E8B-1FB3-4941-B6AB-8F09EF6EDF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e07afcdc82911588bbf35ff59e708bbdd908fb9f","datavalue":{"value":{"entity-type":"item","numeric-id":4250039,"id":"Q4250039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af0bbfa466fac66dcaf2445c24d7aecbe0db26f6","datavalue":{"value":{"amount":"+0.839165985584259","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":"Q705542$60CDA701-B137-4FFC-B225-B1AF3B43FE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ca3e7a36a6cf5e5e11224ddfb5691ba4b19e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5402239,"id":"Q5402239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b42c87b7c5cbe0eb7dbd37d8a3af10a41175d23","datavalue":{"value":{"amount":"+0.7985369563102722","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":"Q705542$D0127505-D654-404D-90B1-B9E93DC07CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50babb0e2c678dc2ee872f9a639e7cd0efee7b21","datavalue":{"value":{"entity-type":"item","numeric-id":5501770,"id":"Q5501770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e4b667088b21e01b68e5c58bc5d2130b3fe0e4","datavalue":{"value":{"amount":"+0.788804829120636","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":"Q705542$3F666C55-7679-4D84-8BFF-50C876E757AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of S4 with respect to the real line: revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_of_S4_with_respect_to_the_real_line:_revisited"}}}}}