{"entities":{"Q1095167":{"pageid":1105919,"ns":120,"title":"Item:Q1095167","lastrevid":69942780,"modified":"2026-04-13T11:22:52Z","type":"item","id":"Q1095167","labels":{"en":{"language":"en","value":"The word problem for \\(Heyting^ *\\) algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4027535"}},"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":"Q1095167$9FE30B24-F8B1-4801-8613-A1CB32BB703C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e167f37f3f1357b69b69b2976aa997322272252","datavalue":{"value":{"text":"The word problem for \\(Heyting^ *\\) algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095167$9FAF94DA-71CE-4D03-B835-88E4D426FEB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c95af0e5823fbd9086047c5e32472ad7f9a63a9","datavalue":{"value":"0632.06014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095167$471D3A04-000F-4F3C-8882-AE2F92912204","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f736bf68dd37962b7d6e21c9500941c38844fe5","datavalue":{"value":"10.1007/BF01188389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095167$79FD5494-F070-4862-803C-413C878D358F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5e678948d925067f66fedf0fdac088474c235e7","datavalue":{"value":{"entity-type":"item","numeric-id":1095166,"id":"Q1095166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095167$790625EC-643F-41E3-8AC5-6818099C75DF","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":"Q1095167$158B963C-EC46-43C9-84B9-0A3B1C408F85","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":"Q1095167$4FEB6209-0963-4241-B565-FBD2E5A96EC3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d39ef9573bd3ecc567c518892163c18c4d355bb9","datavalue":{"value":"A Heyting algebra with a unary operation \\(a\\mapsto a^*\\) satisfying \\(a\\leq a^*\\), \\((a\\cdot b)^*=a^*\\cdot b^*\\), and \\((a\\to b)^*\\leq a+(a\\to b)\\) is called Heyting star algebra, or \\(HA^*\\) for short. Many properties of \\(HA^*\\)'s are inherited from their underlying Heyting algebras. For example, \\(HA^*\\) congruences coincide with Heyting algebra congruences, so that the HA* H is subdirectly irreducible if and only if it is subdirectly irreducible as a Heyting algebra. \\textit{J. McKinsey} and \\textit{A. Tarski} showed that every Heyting algebra has the finite embeddability property [Ann. Math., II. Ser. 47, 122-162 (1946; Zbl 0060.062)]. The principal result of this paper is that \\(HA^*\\)'s also have the finite embeddability property, from which it follows that the word problem for \\(HA^*\\)'s is solvable. The proof, which differs from the argument that is used for Heyting algebras, is based on a construction of subdirectly irreducible \\(HA^*\\)'s from an arbitrary \\(HA^*\\). The proof also shows that any finite \\(HA^*\\) can be embedded in the \\(HA^*\\) of open sets in some topological space with the operations \\(M+N=M\\cup N\\), \\(M\\cdot N=M\\cap N\\), \\(M\\to N=int(N\\cup M^ c)\\), and \\(M^*=((M^ c)')^ c\\), where (') is the topological derivative.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095167$70B02E19-AF64-4D78-A5A1-2ECADC54BC6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095167$302E8336-3BB8-42B8-BA48-45A915A223FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095167$BD8CC498-810C-414B-99D7-CF4F8919F10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095167$05C56EB1-9A7C-4088-9D28-9C5A3E290D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49526bacffdadf141a5ad593e6f59b443a3051aa","datavalue":{"value":"03G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095167$933B45D7-9C15-4471-A223-1909E0C4657C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6119807871361bb4b88b51b725cb0bc2dbcb880b","datavalue":{"value":"4027535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095167$6CDECE02-C8E6-4A0D-A539-260DFF0675BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5522e4de02c74e6f51a58ebaacf2de31ccb61ffa","datavalue":{"value":"embeddings in topological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095167$51E114E4-275F-4FAA-BB7E-F154DB99E591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47ae44ac93717f90a544383fc1339f802eec3caa","datavalue":{"value":"Heyting star algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095167$18CDFF7B-9525-4C58-B1D1-A2BC477BA0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c529332013c428c155690be271a6ceaf7d718a33","datavalue":{"value":"Heyting algebra congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095167$190F9DF7-DC4B-43CE-8CFC-760C681A058A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11fc673a957aa975637538413d2dc66c7b704df7","datavalue":{"value":"subdirectly irreducible","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095167$CE7727FA-2122-469B-8744-E46C74B21C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c323fc98d37610defec708b5b5efc701bf2bc863","datavalue":{"value":"finite embeddability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095167$F1EDA4D6-A93B-480D-AE09-DEE3D2BF9D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095167$3604854B-4119-4D0A-AC48-7B90493D33EA","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":"Q1095167$CFBBED38-7222-418E-BD97-CAF25C6BCCF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e947f4c32cdfed0e7e74613aed389a2f7554c517","datavalue":{"value":{"entity-type":"item","numeric-id":5575595,"id":"Q5575595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095167$B4A8A15E-C333-4469-B77C-8B1648EC542A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938b71a65494e8db5637c5aa16dee3836a2f2bbf","datavalue":{"value":{"entity-type":"item","numeric-id":3926547,"id":"Q3926547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095167$48AB40BD-CFB6-4E78-A4D1-356AA02BA574","rank":"normal"},{"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":"Q1095167$1940A734-78E0-4A57-9786-644C25469D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f067426f1a6a3b3bc6aad987813b4105a8b5d6","datavalue":{"value":{"entity-type":"item","numeric-id":5667240,"id":"Q5667240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095167$8C3E1F54-B7D5-4BB6-AFE8-761BDB1522A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095167$910E9FD9-2D2B-43AD-8622-6165F4E777F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"087fb6eecc5bb1f5c6ad13f81aed056c381077f4","datavalue":{"value":{"entity-type":"item","numeric-id":3708784,"id":"Q3708784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095167$0B2EC01E-D487-4891-9838-6A3A3D408AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402af2bc43f8fdc8f4c516b160106d66aa5db8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1102308,"id":"Q1102308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095167$A7C2A59F-BAAB-4C11-BCA0-BAB201B134C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91515ad9a2f1efcb42aec2f7b3f173637616b917","datavalue":{"value":"https://doi.org/10.1007/bf01188389","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095167$92D256C8-B27D-459A-8111-05FDD71BFF6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bca1b7a8d9c18458b4d70b7ba9ad118fc5e14c4","datavalue":{"value":"W1979227431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095167$3EE5E2AF-B9A7-4F0A-AAC9-18C2CFFF3CE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c1ab61e71d247f1408f8b62909ecef004e4dbbb","datavalue":{"value":{"entity-type":"item","numeric-id":3837730,"id":"Q3837730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e6f7f15239a7e93438473bab38e4de10b166a5","datavalue":{"value":{"amount":"+0.7844706773757935","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":"Q1095167$295BC762-5714-4D8E-BAE8-6596F144A6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f9b9b5c934709efd014283e75e2a3c7e5bb1de","datavalue":{"value":{"entity-type":"item","numeric-id":2720324,"id":"Q2720324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b803066764661d6d6fce18c99543e5d6ccf6084","datavalue":{"value":{"amount":"+0.7459554076194763","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":"Q1095167$5BA736BF-49B3-407E-B7F8-BC89497AFBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8fa4af2ff173f48f4824a37d59fd60d3018d85","datavalue":{"value":{"entity-type":"item","numeric-id":1179768,"id":"Q1179768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e977fa9a7ce53b09120ff86c484b34ccd2b292b","datavalue":{"value":{"amount":"+0.7380315661430359","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":"Q1095167$FC33ED0B-B6C6-4BD3-B46E-93D32E29EEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35c3705ef17f0558df1ce60b08f5135a4a1ccc9","datavalue":{"value":{"entity-type":"item","numeric-id":3987718,"id":"Q3987718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e977fa9a7ce53b09120ff86c484b34ccd2b292b","datavalue":{"value":{"amount":"+0.7380315661430359","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":"Q1095167$D87248A4-67A2-4AB9-964F-B9D6C40E78FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585fd57c4873511870e11c61a2b74a4680984a4d","datavalue":{"value":{"entity-type":"item","numeric-id":4870894,"id":"Q4870894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53f7549b1cdcd19c498e843f49fb6ed95e077457","datavalue":{"value":{"amount":"+0.7323924899101257","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":"Q1095167$4E120D27-04FD-4A72-AD11-AD6F08D7EAA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The word problem for \\(Heyting^ *\\) algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_word_problem_for_%5C(Heyting%5E_*%5C)_algebras"}}}}}