{"entities":{"Q427238":{"pageid":429005,"ns":120,"title":"Item:Q427238","lastrevid":61797279,"modified":"2026-04-11T01:44:28Z","type":"item","id":"Q427238","labels":{"en":{"language":"en","value":"Completeness of \\(\\mathrm S4\\) for the Lebesgue measure algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046101"}},"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":"Q427238$FBD4091D-EA6F-416D-A766-60FBE1FBA370","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"336a9f8caef0be2dcd519d3027d6991bcf6a41aa","datavalue":{"value":{"text":"Completeness of \\(\\mathrm S4\\) for the Lebesgue measure algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q427238$D68D2AD5-FE4A-464F-8054-D9F632350816","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e595d0bed9ac57b046f1dff437f910e47905d57b","datavalue":{"value":"1368.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427238$26AB6657-1D52-4452-854F-FAF283EB570E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad7bbf5b29e21d6c8f68ed042dc8216c9cc5564a","datavalue":{"value":{"entity-type":"item","numeric-id":427237,"id":"Q427237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427238$80ACC9C6-F63F-47A5-835D-F661B6F25209","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427238$AC6CE4DF-16ED-41C1-9B1B-6EC83A9B9898","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b947ce7f91b8cd4bd8b2fce7e70b93d373e39b9","datavalue":{"value":{"time":"+2012-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q427238$28A4F194-7F4A-41D5-A9D3-432363FCD036","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"53ca5a85fed50043204c22c0e9e7586c85f70bbb","datavalue":{"value":"The author shows that the modal logic S4 is complete with respect to the Lebesgue measure algebra \\(\\mathcal M\\), which is the quotient of the Lebesgue-measurable subsets of the unit interval by the ideal of subsets of Lebesgue measure zero. This is done by translating refutations on the infinite binary tree \\(T_2\\) to refutations on \\(\\mathcal M\\), and using the well-known completeness of S4 with respect to \\(T_2\\). This result has also been independently obtained by \\textit{D. Fern\u00e1ndez-Duque} [in: Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24--27, 2010. London: College Publications. 100--119 (2010; Zbl 1254.03031)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q427238$EA454A56-6E10-4439-998E-C2E432A2795A","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":"Q427238$0A03A85E-28E0-462D-A55C-7811EA03C20F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427238$A633E356-3B0C-4A03-969F-EA4E03221F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b228c9ee3c97685ba8b4fbcb638c637eaa9c7ea","datavalue":{"value":"28A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427238$66DA5067-0038-46DC-B28C-FFE8A20BEEAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4465ed90c12d5b331d8205d71cd5002edaed2523","datavalue":{"value":"6046101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427238$7ACDBD4C-078A-48FA-BEF9-9572E32C550E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c78731faba245cb7ee59fb59e46225c9504edd7","datavalue":{"value":"measure algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q427238$98FC68DD-6F48-4ABD-9451-A647F0675210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dc4c7c5cc08ee9506ef2c6879b96d267c77b9f5","datavalue":{"value":"topological modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q427238$B647F504-2776-4504-B97D-384E15E4393D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q427238$401B1F30-39A6-4DE2-B032-F5681C64ABA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbbcce5d958a0130862ba486d8886f3214101b0c","datavalue":{"value":"S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q427238$18B43DEC-B13D-417D-9A89-BBA5873C8334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q427238$741BFAC3-2B4C-4538-A232-0579E8F6E135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q427238$8B6BD8DD-F44D-4EB9-8B32-D5BE508CD6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c73f3715881749f22b39d59d790037007e6a9d08","datavalue":{"value":"probabilistic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q427238$EFAEF8B3-B24B-4D00-BEAB-81AC84E693E2","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":"Q427238$49E88ACD-0BE8-450D-8F94-8AC19844811E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de3e78975b72f838c7a04b9133b703ffbaf0ee37","datavalue":{"value":"https://doi.org/10.1007/s10992-010-9161-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q427238$1C483B05-7495-40E3-8381-44070B095663","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77d26c7c5b7f3399233a584e610f4b0610ef4c40","datavalue":{"value":"W2049989560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427238$7D675D30-E6D2-4B5A-91D6-AE08036B05BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"735403ba52cef708d66abb17cf481ef6f68acc69","datavalue":{"value":{"entity-type":"item","numeric-id":705542,"id":"Q705542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427238$DEBCC7AE-E0B7-466F-9158-5AD9ECC5FC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a18dbb95908f456b661e73be81e3e76e23c26964","datavalue":{"value":{"entity-type":"item","numeric-id":771095,"id":"Q771095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427238$7D4E26B9-7270-4EBB-B45C-48B012D642BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef377be609bdf17409a180b5b277bb12cc1abded","datavalue":{"value":{"entity-type":"item","numeric-id":705534,"id":"Q705534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427238$F97CA588-7411-4AEF-A28F-D9B84AFB221B","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":"Q427238$800EFDA3-2669-47ED-9DCF-F028293C0E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d235b13b6189b04afc72d8494188fd02e92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427238$284C629B-BE02-4566-9DFF-8C03BD61075E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24af9a90ad42c98cbe0bafe0a0692e1e07b3a550","datavalue":{"value":{"entity-type":"item","numeric-id":5580972,"id":"Q5580972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427238$1AD111B5-F6F2-42ED-BCFA-4470EB6DAFF3","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":"Q427238$889548C2-B66A-4B4D-A25D-140004E6309B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c66320a7116c3a5666dacad2c17eb2521f0ea4b","datavalue":{"value":"10.1007/S10992-010-9161-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427238$7609CD5D-5013-4EE6-9EE7-44642DB8DE56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d527b5a13e0db7aad41f7d03ad8b97643bb123","datavalue":{"value":{"entity-type":"item","numeric-id":5737960,"id":"Q5737960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ebf7f4a2a8d6f1079b1647df3faa4888583af96","datavalue":{"value":{"amount":"+0.9212095737457277","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":"Q427238$86FEA502-A0BA-4E58-881A-6F797D2D2018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b00f56d3ca378d240a9a21841edef2362a5a54","datavalue":{"value":{"entity-type":"item","numeric-id":2904049,"id":"Q2904049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e565d865bf9095e3b2ff3543505456b8355a9f31","datavalue":{"value":{"amount":"+0.8823497891426086","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":"Q427238$13503539-5162-4279-AF8F-71A89D7661C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe2994458254ed292d931cc7fd84361e1922114e","datavalue":{"value":{"entity-type":"item","numeric-id":714709,"id":"Q714709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda16f684f1391e8ede9cc1a6bea75663ee44a01","datavalue":{"value":{"amount":"+0.8472367525100708","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":"Q427238$0DD1A3BF-00A2-4567-9CAD-99F7838F89E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61c8c6bf3268e4f19ed444ad6200156f4f8cbfc4","datavalue":{"value":{"entity-type":"item","numeric-id":705542,"id":"Q705542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"924667097b57b8313e45ad3fe715d79771a588e8","datavalue":{"value":{"amount":"+0.829639196395874","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":"Q427238$4B51F906-8103-49DB-A685-ECEEE8087720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3ca176b621c58d688d00175262620c6cc7ac60d","datavalue":{"value":{"entity-type":"item","numeric-id":476117,"id":"Q476117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2144b5815bbe130b249b39b1f483ed9bb9f16b27","datavalue":{"value":{"amount":"+0.8045466542243958","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":"Q427238$ADA1836E-232A-495E-ABA8-D2D9D8F0DA14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of \\(\\mathrm S4\\) for the Lebesgue measure algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_of_%5C(%5Cmathrm_S4%5C)_for_the_Lebesgue_measure_algebra"}}}}}