{"entities":{"Q1059064":{"pageid":1060912,"ns":120,"title":"Item:Q1059064","lastrevid":69534870,"modified":"2026-04-13T07:39:51Z","type":"item","id":"Q1059064","labels":{"en":{"language":"en","value":"A result on the completeness of superintuitionistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3902628"}},"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":"Q1059064$45320C0A-5A69-43AB-B98F-451213C625EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c925697a0541103e2b430d096ab38b1928f2a89","datavalue":{"value":{"text":"A result on the completeness of superintuitionistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1059064$8A0280BC-70DD-41BE-AC0B-FF1EBE68F903","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42676193dbe0a40e6db5384e0fd09a1f191d0754","datavalue":{"value":"0566.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059064$AF4CEF71-586C-4668-99EE-37F3D7E14869","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"481a75ee00aa891b209f1ef9142d9584867b0806","datavalue":{"value":"10.1007/BF01139938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059064$FBACC155-7B2B-4D39-BDAB-D2CAA218E32E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e071145b46ae7a08fec096f0620178c42ecee586","datavalue":{"value":{"entity-type":"item","numeric-id":793005,"id":"Q793005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059064$E4A5C2B0-A808-4DAC-A412-8E41746BB4F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059064$C5EF0F34-A14C-4D1A-B842-AD81147A8D4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1059064$581923D8-AD3A-4A9E-8EC9-824EDDBF04CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8eefc80ed57d0ba450e3d4bf65eebad41a71de62","datavalue":{"value":"Superintuitionistic logics which are determined by tight Kripke models (i.e. by posets containing no infinite antichains with intuitionistic valuation on them) are considered. It is proved with essential use of the author's result [Algebra Logika 20, 165-182 (1981; Zbl 0486.03015); Lemma 3.3] that each such logic is countably modellable. (For some contrast let us note that \\textit{V. B. Shekhtman} [Studies in nonclassical logics and formal systems, 287-299 (Russian) (''Nauka'', Moscow, 1983)] has constructed a poset with an antichain of cardinality \\(2^{\\aleph_ 0}\\), whose logic is not determined by any countable poset.) As corollaries we receive \\textit{A. V. Kuznetsov}'s result [Proc. Int. Congr. Math., Vancouver 1974, Vol. 1, 243-249 (1975; Zbl 0342.02015)] that logics which are determined by (pseudoboolean) algebras with descending chain condition are countably modellable and \\textit{S. K. Sobolev}'s result [Izv. Akad. Nauk SSSR, Ser. Mat. 41, 963-986 (1977; Zbl 0368.02062)] that logics which are determined by algebras containing no sublattice \\(2^ n\\) (n is natural) are the same.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059064$2DF52318-C1A9-4D42-82F4-DFECF1E66862","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059064$616C6998-F668-432E-A48B-701BEAE7E6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059064$F9996A04-CA95-4FBB-B2B7-10D9FA4FB976","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb6f967244a74435cd6b817958882ffdcaec387f","datavalue":{"value":"3902628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059064$3A80B099-A923-41A5-A3FD-0F7A6E8B1F94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059064$B908A613-9CE5-4D86-A089-BEDF27F60389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33c5023964c357019eb8472de4dd5b3540ea02bb","datavalue":{"value":"pseudoboolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059064$36C4D30A-8D08-4D15-BBBA-886165E44B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059064$E66345EB-420A-4E79-BA85-C9E88AF714BC","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":"Q1059064$BEB9DE11-EC4F-42C3-8917-CDEB8744EEF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae98b485f1ba210146a1fb412e396b39495f2f40","datavalue":{"value":{"entity-type":"item","numeric-id":4128534,"id":"Q4128534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059064$0C0881CB-E943-4F98-B627-B6EBC5B74105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ebcb581746ff3056945fa63a66e3dcfaa65027","datavalue":{"value":{"entity-type":"item","numeric-id":4198476,"id":"Q4198476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059064$A82CC1B3-78E6-4435-B42C-F32747038007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e2315a5bfee579bf47ae0bf7c08aecb76d3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4777279,"id":"Q4777279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059064$02595D04-E6C4-4824-92CA-F98A4B272E90","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":"Q1059064$0C62CAFA-FE8D-4AF5-A1F7-B9AD1622FCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36a7bb41afdb60617f3a3c9a6a2037590f844926","datavalue":{"value":{"entity-type":"item","numeric-id":3963056,"id":"Q3963056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059064$A79D657A-0CBD-48BB-9962-42907DE93E4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6612f4786705a083261ae275849704d78df200b9","datavalue":{"value":"https://doi.org/10.1007/bf01139938","type":"string"},"datatype":"url"},"type":"statement","id":"Q1059064$05078F41-3BD9-403F-8565-A8D86BA80F7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9809b7c9d1a7df48000c686d95d06ea309dd501f","datavalue":{"value":"W2016180581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059064$306DD797-8614-4C68-946B-AC9B29136C85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f51006f64124449e649ce40acb20e911a58036","datavalue":{"value":{"entity-type":"item","numeric-id":3329444,"id":"Q3329444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f723cca7ebb0ec1d4af82ace1f8eddb83940ef71","datavalue":{"value":{"amount":"+0.8292227387428284","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":"Q1059064$3AADFEEB-4526-460F-88F2-C78B5A76B1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7b0541e465942dbdaf5bda25581004432b4177","datavalue":{"value":{"entity-type":"item","numeric-id":5224588,"id":"Q5224588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e5a87de984575d657aa2e3c53df16f37dcaaa2a","datavalue":{"value":{"amount":"+0.7897676229476929","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":"Q1059064$E774AA45-305D-40B6-88BF-BF7DEC10B449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd0eb1fe2ba9322e58e0dcb65e5c82edac930e8","datavalue":{"value":{"entity-type":"item","numeric-id":4198474,"id":"Q4198474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6489429d3133d6ed9b39cafbc362529be13ca145","datavalue":{"value":{"amount":"+0.7777876853942871","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":"Q1059064$B2B42AB3-11C9-4FE6-9879-3A5F206B2C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec98814eee2915e37094045b3f72b9a62bfd6510","datavalue":{"value":{"entity-type":"item","numeric-id":1876415,"id":"Q1876415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa75cb4eb3dadb5f1fcdca69653f70b3110575e","datavalue":{"value":{"amount":"+0.7752049565315247","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":"Q1059064$3CBC4AD5-2F07-4F52-88D9-8BC626CAD305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47987a11b7b9b6316426f59b56adfeda1c6e0d30","datavalue":{"value":{"entity-type":"item","numeric-id":3684108,"id":"Q3684108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af313bcd44a412f32a4932533c8a9d3634713471","datavalue":{"value":{"amount":"+0.7702309489250183","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":"Q1059064$00ADE8C0-8EDF-4AB9-B626-192E2178FEBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A result on the completeness of superintuitionistic logics","badges":[]}}}}}