{"entities":{"Q2376916":{"pageid":2387659,"ns":120,"title":"Item:Q2376916","lastrevid":51758669,"modified":"2026-01-19T21:20:27Z","type":"item","id":"Q2376916","labels":{"en":{"language":"en","value":"Semi-Heyting algebras term-equivalent to G\u00f6del algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6181435"}},"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":"Q2376916$3494BFAE-DDF4-4C27-841F-E4BCA7B8FDFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d07080c5c107edf6d552f50d86138a4b1f1b1c0d","datavalue":{"value":{"text":"Semi-Heyting algebras term-equivalent to G\u00f6del algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2376916$0EA9BFE4-5870-4856-A6A8-A1AA817EED8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18d1b5c3c49d611829026bda3194e484e079effc","datavalue":{"value":"1294.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376916$6800AA97-A11D-4F68-84B4-DC98E3BE53DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3d74a71cc8787f9f84643f0b42b9c050e5341ab","datavalue":{"value":{"entity-type":"item","numeric-id":587967,"id":"Q587967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376916$8C1356C9-0B6D-4410-A758-CCCE22EB8B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"400890dd66db10164ad71f611209574f2fce9097","datavalue":{"value":{"entity-type":"item","numeric-id":422483,"id":"Q422483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376916$01DD70BA-00E5-4645-AC19-20E20D39BAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff60f539800112c46879724c5b88cbb0551f5780","datavalue":{"value":{"entity-type":"item","numeric-id":495843,"id":"Q495843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376916$5B8913FE-E024-4C49-85F0-FB2A9652D68F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376916$F100E113-E5FD-4F38-8384-E161180FFF0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e67818e5660eb5b02d2b35370b17cb77659a2c2b","datavalue":{"value":{"time":"+2013-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2376916$5E185C75-DC96-4C54-A7D3-D7FABE0B7028","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"342713c47299e519cc01252121bbd1132228185e","datavalue":{"value":"Introducing the variety \\(\\mathcal{SH}\\) of semi-Heyting algebras, \\textit{H. P. Sankappanavar} [in: Proceedings of the 9th ``Dr. Antonio A. R. Monteiro'' congress on mathematics, Bah\u00eda Blanca, Argentina, 2007. Bah\u00eda Blanca: Universidad Nacional del Sur, Instituto de Matem\u00e1tica. 33--66 (2008; Zbl 1175.06003)] considered the following conjecture ``there exists a variety \\(\\mathcal V\\) of algebras (of the same type as that of Heyting algebras) that includes Heyting algebras and possesses the properties: (1) the algebras in \\(\\mathcal V\\) are pseudocomplemented, (2) they are distributive and congruences on them are determined by filters.''  In this paper, the authors consider those semi-Heyting chains in which \\(a\\rightarrow b\\in \\{1,a,b\\}\\) for \\(a<b\\). This implies the existence of three subvarieties of \\(\\mathcal {L}\\) (the subvariety of \\(\\mathcal{SH}\\) generated by semi-Heyting chains): the subvariety \\(\\mathcal {L_H}\\) of G\u00f6del algebras (linear Heyting algebras) when \\(a<b \\) implies \\(a\\rightarrow b=1\\); the subvariety \\(\\mathcal {L}_{\\mathrm{Com}}\\) of commutative linear semi-Heyting algebras when \\(a<b \\) implies \\(a\\rightarrow b=a\\); and the subvariety \\(\\mathcal{L}_\\vee\\) of \\(\\mathcal {L}\\) generated by the semi-Heyting chains in which \\(a<b \\) implies \\(a\\rightarrow b=b\\).  The authors prove that the subvarieties \\(\\mathcal {L}_{\\mathrm{Com}}\\) and \\(\\mathcal{L}_\\vee\\) are the only subvarieties of \\(\\mathcal{L}\\) that are both term-equivalent to the variety \\(\\mathcal{L_H}\\) (Theorem 4.7). Also, they investigate the variety \\(\\mathcal{C}\\) generated within \\(\\mathcal{SH}\\) by \\(\\mathcal{L_H}\\), \\(\\mathcal{L}_\\vee\\) and \\(\\mathcal{L}_{\\mathrm{Com}}\\) (\\(\\mathcal{C}\\) is locally finite and a construction of the finitely generated free algebra in this variety is obtained).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376916$8513DAC5-3238-4A23-BD3E-6C32EB672356","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5cf5eb09e35195bdbd29dfadd387d00af8c0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":590962,"id":"Q590962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376916$CF7B3F03-813B-4D29-B8DF-8BDA796617C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376916$EC917BDD-4C0D-481E-A71A-7CE850B6C8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376916$4D34A12D-F63E-45CA-A116-38B5963CC531","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2244c36fd75465d04656c39dccb4b0b2a770c1d8","datavalue":{"value":"6181435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376916$FFE3E9F9-70E3-49E2-80DC-93F7EE4EB0CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190c529de5a2edbb1d775e41dc61411be7bf612d","datavalue":{"value":"semi-Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376916$09CBDF01-5345-45A1-AAD8-FC936C8B28B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376916$BED38B28-0B08-4836-8A1F-59CF8CE8A037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"313f4c59cf54246c2f83544cad00b39c97c235c0","datavalue":{"value":"linear Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376916$0B2AA121-DBFC-426A-80B5-FCD2F3E4CE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ab9b24fad7d5f39e4d83f065f1a6afb26edabfb","datavalue":{"value":"term-equivalent varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2376916$EF346CFB-FD57-4128-8CA8-A2410BCE00EF","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":"Q2376916$428CA828-62D6-4ADF-8950-32EB5DD75776","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdef14d71545c22d22c69e143a397983afd6a8be","datavalue":{"value":"https://doi.org/10.1007/s11083-012-9266-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2376916$1F259E40-BD30-42C1-BB04-B73ECC84B5C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21edac06397c6341a77ffbeffe7694c3ae1faff6","datavalue":{"value":"W2002169743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376916$1D6A0B96-4D1C-4D3B-A5FE-F367FB523DEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1553aae584dd2ca876ec4105e45dafd07b135d","datavalue":{"value":{"entity-type":"item","numeric-id":432182,"id":"Q432182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376916$B7D18C97-E5C0-4065-943D-80758AAC178A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cab23c732a73c9e4e5ce6a02cd69727db448656","datavalue":{"value":{"entity-type":"item","numeric-id":4134025,"id":"Q4134025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376916$A13D881C-0ACD-4F94-AD6C-754B66FF2DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121fc1b0f8d9fffc91d98a4bc269dab40f63f5a8","datavalue":{"value":{"entity-type":"item","numeric-id":952491,"id":"Q952491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376916$AC6300A0-2389-4C18-8B48-3C91491FE0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598130dbbd88be829567dacf16f6afeb60bfdff9","datavalue":{"value":{"entity-type":"item","numeric-id":2544392,"id":"Q2544392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376916$F0E7CFC1-6A6B-447B-8019-8905E4E597B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ade6ac64be06a2b78795ee4bef71a43924c99fc","datavalue":{"value":{"entity-type":"item","numeric-id":5571687,"id":"Q5571687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376916$0A187C9D-EE2C-4717-845D-87537C338CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc407297c52090de603378237bacb8fe170dae2","datavalue":{"value":{"entity-type":"item","numeric-id":3705494,"id":"Q3705494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376916$EEEB6952-C109-427C-9A14-7A224CAB13B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a40b964fcb157a25c533b4d3df94445dcd3f29","datavalue":{"value":{"entity-type":"item","numeric-id":3605557,"id":"Q3605557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2376916$D7145BF7-3575-4602-BC41-16D137C581E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0429415f36db9b85a4637b96445926858ac0a99","datavalue":{"value":"10.1007/S11083-012-9266-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2376916$C7E7366F-8E56-4F90-9C37-394C1AE421FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2a3cdacfb0f12b4f09bcfd07330252214ee247","datavalue":{"value":{"entity-type":"item","numeric-id":3605557,"id":"Q3605557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"971f2311a1ab21604171be5655a1c2c966301999","datavalue":{"value":{"amount":"+0.8470245599746704","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":"Q2376916$5AD188CB-6FDB-4B49-A21B-2369B87C6E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81163474bd3b6d83deefe3ab1ece9adabaa0f1b3","datavalue":{"value":{"entity-type":"item","numeric-id":2888154,"id":"Q2888154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42af7a9e257750d7fac94f072f6f0ba1f238f311","datavalue":{"value":{"amount":"+0.8426960706710815","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":"Q2376916$8E9938DA-F0C4-4C58-8CF6-88BD95A681D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f10cd5a4aa6c66104154e34459ed5146806328","datavalue":{"value":{"entity-type":"item","numeric-id":5241407,"id":"Q5241407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa0bd0d2d30585ac4feaa56bd4e7680c603ee6e4","datavalue":{"value":{"amount":"+0.8304140567779541","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":"Q2376916$2EFF8818-1902-4B13-9CD2-B03399BC1D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e0c5cb0afbbf204b87c87a820f1cf172b25ea7d","datavalue":{"value":{"entity-type":"item","numeric-id":432182,"id":"Q432182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c6ccef2217a64b720a50b321f384efed98caa75","datavalue":{"value":{"amount":"+0.7976277470588684","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":"Q2376916$43E9E2E0-19FD-4956-84B3-2C4A0918E65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5929313705c371bfd6735ffd4d93f1e83dd27231","datavalue":{"value":{"entity-type":"item","numeric-id":763318,"id":"Q763318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d93366782b7f1a130a2c1ac756600a2c41bd8ce3","datavalue":{"value":{"amount":"+0.7915931940078735","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":"Q2376916$7D1C5022-CEA5-47D2-864E-E00AC0B175F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2376916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2376916"}}}}}