{"entities":{"Q920977":{"pageid":922825,"ns":120,"title":"Item:Q920977","lastrevid":65397051,"modified":"2026-04-12T02:18:52Z","type":"item","id":"Q920977","labels":{"en":{"language":"en","value":"Post complete and 0-axiomatizable modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164807"}},"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":"Q920977$85C3E7D5-8372-4F37-9AE8-DCD44EF647C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"284fb9f179f3c88132cd645775a61276260d2e81","datavalue":{"value":{"text":"Post complete and 0-axiomatizable modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920977$E3011D8A-867A-4FC2-8A24-CDBD2270BE9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7b7c236dbf374dd2c2b17a2b5620c5a310bcb47","datavalue":{"value":"0709.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920977$94D6BAFE-A733-45BB-929B-AE85F76EF214","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c63cee07725440c21e860b910e3ae0529bdfb251","datavalue":{"value":"10.1016/0168-0072(90)90066-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920977$0C1B6FD9-988F-4C1B-ADFE-AD09FAAAE29E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc667845b69ffe78e87b193c8e67c83a1bc1a138","datavalue":{"value":{"entity-type":"item","numeric-id":190276,"id":"Q190276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920977$CB790BE4-6B94-4E63-9262-955AF08452E5","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":"Q920977$B43B397C-E337-4254-9C48-8ADBA47062DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q920977$3EA69EE6-52DD-4FD9-AD1F-58EB357E387A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4568f1bde1fc6732349b244f34ead44754347092","datavalue":{"value":"A modal logic is said to be Post complete if it has no proper consistent extensions. The Post number p(L) of a logic L is the cardinal of the set of all Post complete extensions of L. The author proves that for any n, \\(1\\leq n\\leq 2^{\\aleph_ 0}\\), there exist \\(2^{\\aleph_ 0}\\) normal modal logics with Post number equal to n. The investigation is done via the study of dual spaces of free algebras without generators over the varieties of modal algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q920977$5605810C-F306-49F0-9B40-FA21AEC3CE11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920977$64C4A165-4C48-41FB-AB13-387A8F731AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920977$7019D2B6-DA19-40B9-B7C9-F43B9FACE633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920977$3A9F4F79-EA24-4854-8C27-C384C7C96895","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31df5c3c21a499da116a68f064706b0e21f29d61","datavalue":{"value":"4164807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920977$64355F65-22BD-46B2-A1C2-A034BDCF45AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q920977$F911582D-05DA-453A-89E8-190DD10FA663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6076c5e4385033efb8c1ab8c14522628cb3ffa6","datavalue":{"value":"Post complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q920977$86446996-F0BD-430B-A10E-579670869862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8010f3d3c4a08c5b53aa882d7af721fb151e2b1c","datavalue":{"value":"Post number","type":"string"},"datatype":"string"},"type":"statement","id":"Q920977$35C4F336-BA90-4631-9351-6AB511476115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f225d785183bb65c60d2ded0ed78942571caba5b","datavalue":{"value":"Post complete extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q920977$BC23F920-1B22-490F-BB62-955CBB9BC30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf02195d7c3ea39d1ca241139afc48251cb25cb","datavalue":{"value":"normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q920977$A90167FF-A8FB-427F-8632-D116BABC4C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q920977$884230DF-FA41-4643-916F-137175F57CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"600672ab55ae471847e00a7bc41bc9851fc3ede8","datavalue":{"value":"modal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q920977$375673D7-5067-43A0-96D8-4F6ACF20FCA5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"67a71dc8d5d63bc79a22e8a3eb2b08857c8e89a3","datavalue":{"value":{"entity-type":"item","numeric-id":1052313,"id":"Q1052313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920977$70EF29AC-BA3E-4F4E-BC5D-3DB821192CDF","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":"Q920977$D229B6E7-1737-4777-85EB-66527914EFC8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94afd7ee02ebdfdd91a84035b6641cb20928663f","datavalue":{"value":{"entity-type":"item","numeric-id":5187282,"id":"Q5187282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920977$CCDE7E3F-DDC1-42DF-9004-B362D6A30A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b1d0b2f2acc78c82eb569b91d979fa81e6963d","datavalue":{"value":{"entity-type":"item","numeric-id":3682466,"id":"Q3682466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920977$6D7FF219-BA52-4FA7-9171-2E303265F010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd924493e9168b7d214036453195d2e9622e00a0","datavalue":{"value":{"entity-type":"item","numeric-id":4724609,"id":"Q4724609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920977$97598756-29AD-4808-BF1D-72B4C2CB6EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"941c00e5c2a896c4ba39ac3c9a421d795bdbd27d","datavalue":{"value":{"entity-type":"item","numeric-id":3830978,"id":"Q3830978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920977$3EEAC21A-325A-4962-AF2C-D33D05E44092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920977$11FE6EEA-FA1F-48A8-BEE3-341103FCDC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3d2f911ecb3b5590d70035c532dcb4003778fb","datavalue":{"value":{"entity-type":"item","numeric-id":3875896,"id":"Q3875896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920977$D8F93422-79DB-449A-9016-C1889F0C0E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc849784aeacf0747fee5c80d393fa199ab81297","datavalue":{"value":{"entity-type":"item","numeric-id":1150644,"id":"Q1150644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920977$19CA61CB-06EC-41C5-8C41-1C4D45AD2000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e077e7607e20bb5a3fdafc25ee20d2f189f763a0","datavalue":{"value":{"entity-type":"item","numeric-id":4773678,"id":"Q4773678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920977$FAD7B18D-E7B1-4B82-B5FD-703CBD5872BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf080a55f0b8964651acaeb861c03614c58bf33","datavalue":{"value":{"entity-type":"item","numeric-id":4168590,"id":"Q4168590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920977$951700A6-4309-4160-9556-81129AC07C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d6d58ab28e492c8957204e61152459e0f40099a","datavalue":{"value":{"entity-type":"item","numeric-id":4052078,"id":"Q4052078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920977$81379ED5-7E67-4C72-9975-8F6572E27C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"951ab841fc2d6409fd3ef21cbd438d82955c369c","datavalue":{"value":{"entity-type":"item","numeric-id":1101436,"id":"Q1101436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920977$9BF6FB58-9D6D-49A2-BA57-AD738EB548FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8796af42cab99ffa5389172e5fe7c27825970261","datavalue":{"value":{"entity-type":"item","numeric-id":3914958,"id":"Q3914958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920977$BB693E6E-6ED1-47F4-8A84-2F927C2645CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920977$5F25B8EB-3C7A-49FD-AA84-F9B27D6F79A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79bdd215ffef2244bcfc5729e7928cc7128f5942","datavalue":{"value":{"entity-type":"item","numeric-id":5684643,"id":"Q5684643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920977$BC4A7ECA-F3F7-468F-A062-C99508741223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2f25b146963e8b57aea6cebc8e04258a28778d","datavalue":{"value":{"entity-type":"item","numeric-id":4097255,"id":"Q4097255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920977$05672048-E5E0-42BD-9003-8E13CDB12163","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fa5ea2037d53666e3b1b3e73f87ec10cb68b831","datavalue":{"value":{"entity-type":"item","numeric-id":691130,"id":"Q691130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53a993a8bc19cb7b62b6cfdfb114ffd36af901e","datavalue":{"value":{"amount":"+0.8720784783363342","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":"Q920977$6176FA6D-B17B-491E-B50F-B069D28A3658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee03e8a044a6e8ed1f625de41f70519c2204a530","datavalue":{"value":{"entity-type":"item","numeric-id":742479,"id":"Q742479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18ba2926c7fb142165a7e38f4bb8f548d6d12ab","datavalue":{"value":{"amount":"+0.8595408797264099","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":"Q920977$DA7FF095-3C85-4611-AFDC-3911038B1BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e38d31935020d3edc6db741dac760e744d74275","datavalue":{"value":{"entity-type":"item","numeric-id":4636040,"id":"Q4636040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3fc719bdee53499495cefebed422211d8a8d39","datavalue":{"value":{"amount":"+0.8536759614944458","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":"Q920977$7F33E2EE-F014-4432-A9BB-E6A134C1D8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab9ef6938548bd3d1b64e0a6b929e990f2bbe8c0","datavalue":{"value":{"entity-type":"item","numeric-id":4789045,"id":"Q4789045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0ea1d0ca330519024b10de0936e110a151ca52","datavalue":{"value":{"amount":"+0.8012227416038513","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":"Q920977$15196AFA-74EE-4862-9429-FECBA95FEB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e8394782602a026b3b104933d3e160e3c0e806","datavalue":{"value":{"entity-type":"item","numeric-id":3486544,"id":"Q3486544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0ea1d0ca330519024b10de0936e110a151ca52","datavalue":{"value":{"amount":"+0.8012227416038513","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":"Q920977$AD567DC5-94D0-4CB5-88BF-CE57E74DC685","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Post complete and 0-axiomatizable modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Post_complete_and_0-axiomatizable_modal_logics"}}}}}