{"entities":{"Q1820182":{"pageid":1830924,"ns":120,"title":"Item:Q1820182","lastrevid":71358846,"modified":"2026-04-13T21:43:05Z","type":"item","id":"Q1820182","labels":{"en":{"language":"en","value":"Interpretations into Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3993653"}},"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":"Q1820182$C39D1420-BF5F-4A38-AE41-B2198136A1CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"933d11d0985d518be1c92450b70625578525c3a4","datavalue":{"value":{"text":"Interpretations into Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820182$47604435-D7B0-48EE-82B0-E5E52308EFCA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc20a842f99156c93c591ae7f0ad5869c9f3bb27","datavalue":{"value":"0614.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820182$09D063E1-6773-4246-AB92-8ADCFDBB574A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7abb85ebd33855929dcb7a55f80b5881c219a358","datavalue":{"value":"10.1007/BF01188392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820182$E7F3BA9D-D272-4F72-B0AC-B1EF614D3F04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820182$0A20D373-F876-458B-A831-E029915B2DA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1820182$2BF0F465-30D2-44BF-BB93-E3FAA22FA511","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4f923fc4fc644a8a647ba76a803d4c3e50ee3bb4","datavalue":{"value":"A variety \\({\\mathcal V}\\) is interpretable in a variety \\({\\mathcal W}\\) if for each \\({\\mathcal V}\\)-operation \\(F_ t(x_ 1,...,x_ n)\\) there is a \\({\\mathcal W}\\)- term \\(f_ t(x_ 1,...,x_ n)\\) such that if \\((A;G_ s)\\) is in \\({\\mathcal W}\\), then \\((A;f^ A_ t)\\) is in \\({\\mathcal V}\\). In this paper we prove that there are only two interpretations from the variety of bounded distributive lattices into the variety of Heyting algebras, namely, the identity interpretation and its dual. As a corollary there is only one interpretation from the variety of Heyting algebras into itself. The method used is by successively showing that the result holds for larger and larger subvarieties of Heyting algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820182$67687277-B92D-4CB7-9D90-C095335B35CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820182$978D7C3D-3ADA-4EBB-9C98-549C82287551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820182$736944CA-F7C0-40FE-8673-2E34425A53DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a6869b53d0fcb1ea2d1301bea3ff14a39190595","datavalue":{"value":"3993653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820182$3C7F3F2D-7731-462E-ACB0-E0A31DFD328B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a2565fb360bfa8bcdef3362f652ada1d64910b","datavalue":{"value":"interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820182$454B45E5-BDA6-4E74-8343-ED8C5D5A76CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6248e4fb6b1e55f6bc530d3d81f1de144b50c3a","datavalue":{"value":"variety of bounded distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820182$58AE9C42-F5ED-4027-9E57-25013FFA1F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef23120ffe990727ac653659137de1f8d90dc8f5","datavalue":{"value":"variety of Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820182$CC823882-B320-4695-87C3-DC7DBC33E148","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fd20a3f39dc5ea0f18531f9ec3674bf83941b94","datavalue":{"value":{"entity-type":"item","numeric-id":186044,"id":"Q186044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820182$BFE9A887-C274-470C-9302-96B96E71CA3F","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":"Q1820182$10CBAE89-2890-412C-A837-A7BEF4052EA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820182$220BBCC1-2DB4-488F-A44E-8D52E15E2CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430aeea16287474b9301e5bb7d6f8fdfac8a8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820182$1DEE8533-8126-42FC-A048-C47707A7EFC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2ee481aacdd24d44a72b053f18e19d5f823e4a","datavalue":{"value":{"entity-type":"item","numeric-id":804615,"id":"Q804615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17e21517933ab06ee974727453899c7c4c350bd","datavalue":{"value":{"amount":"+0.9416748881340028","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":"Q1820182$2A52DBB7-E72B-430D-869F-68086B1D371E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a247968fcacf0203eeef7c5a2b47ffcf15d59359","datavalue":{"value":{"entity-type":"item","numeric-id":1101137,"id":"Q1101137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6ef6c515ab702c2b0d1e1e3c73665fe196d918f","datavalue":{"value":{"amount":"+0.9121838808059692","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":"Q1820182$6E6AC4FD-6A05-4578-B567-851532B692FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a418f6819c3866af45e71c30bfebbb044f5126ae","datavalue":{"value":{"entity-type":"item","numeric-id":3971329,"id":"Q3971329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f97505264b812ea0f4d34d516999df0eeecd0e95","datavalue":{"value":{"amount":"+0.8434040546417236","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":"Q1820182$BE65F50C-6656-4BD7-82E8-E40A5BDCA4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfd6f4f4327ba57c795b945c3a640f182d6c6b3f","datavalue":{"value":{"entity-type":"item","numeric-id":4763286,"id":"Q4763286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d97c790313a8f98a9072f92f15c0a50d7981769","datavalue":{"value":{"amount":"+0.8369150757789612","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":"Q1820182$53C2CB39-4908-460A-A3D1-FC8F3D1483A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9858f012dd0a2495044c6ae82dccea92848de7","datavalue":{"value":{"entity-type":"item","numeric-id":4503729,"id":"Q4503729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a8eac4f4e0307eddbe5a1beb31e442bc9fad882","datavalue":{"value":{"amount":"+0.8091710209846497","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":"Q1820182$1032980F-971E-4807-B533-91C86032E2EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpretations into Heyting algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpretations_into_Heyting_algebras"}}}}}