{"entities":{"Q454375":{"pageid":456142,"ns":120,"title":"Item:Q454375","lastrevid":51565361,"modified":"2026-01-18T19:39:32Z","type":"item","id":"Q454375","labels":{"en":{"language":"en","value":"Not every splitting Heyting or interior algebra is finitely presentable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6088852"}},"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":"Q454375$DE8038E4-F7AE-43B2-847D-34EFDE3C6A40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d66ffdb86528f5685b0cc74546a2ad233de1a930","datavalue":{"value":{"text":"Not every splitting Heyting or interior algebra is finitely presentable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q454375$EEF8F0C0-8D32-4799-B41D-A9D22FB5311B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e05ff2188d1d99173fc7eb18352c446934d13a3c","datavalue":{"value":"1258.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454375$1B16DA10-5D85-4C98-94BB-882758174E0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"579335856e47b24da10b5706b1182084ec568e74","datavalue":{"value":{"entity-type":"item","numeric-id":454374,"id":"Q454374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$6706B3BE-36BA-48F9-B48C-F5EAC485BD53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$960DB6C5-DC00-4FEF-AB6B-BB0666AE0066","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce482458de9f4ace900fbb372ae38b12a79d36f","datavalue":{"value":{"time":"+2012-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q454375$BF562A90-18E8-499E-A0B8-F993C48F59F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a4b5576ec0c76b76cf906a309f2b0c5fc0923358","datavalue":{"value":"A pair \\(V_1, V_2\\) of subvarieties of a variety \\(V\\) is called a splitting pair if one of them is not a subvariety of the other and for every subvariety \\(W\\) of \\(V\\) either \\(V_1\\) or \\(V_2\\) is a subvariety of \\(W\\). It is known that, if \\(V_1, V_2\\) is a splitting pair, then the variety \\(V_1\\) is generated by a finitely generated subdirectly irreducible algebra; such an algebra is called a splitting algebra. On the other hand, the variety \\(V_2\\) can be defined by a single identity. The paper contains an example of a variety of Heyting algebras and of a splitting algebra in this variety which is not finitely presentable. It is shown that the corresponding splitting pair cannot be defined by any finitely presentable algebra. Using the G\u00f6del-McKinsey-Tarski translation and the Blok-Esakia theorem, the author constructs a variety of Gregorczyk algebras with similar properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q454375$629BBB53-E20E-4DDE-BCA2-80D1C7824765","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$76754F2E-A298-416C-A92D-84CEE5AD65A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454375$83C9D643-B3A0-42C1-B565-415A586F1237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454375$DEBF045F-1A8A-461D-B17E-9A798F03F1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454375$CECB9B49-485E-4B80-AAD2-BDC3E2C7E640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454375$2A47B5AC-08C0-490C-9B98-09A80B1AF32F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"530f2973113905c821fef117839d654e77a778ad","datavalue":{"value":"6088852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454375$CDDE4CEF-D5A2-4834-BD3B-B5611A1C1C5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc2931a20ad0ea9eb9bc62e136aefc576f929be","datavalue":{"value":"splitting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q454375$5648D19E-0066-4CE8-8A23-685309416395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37daef7345185c56e0c068d041fb5dcf6e44f480","datavalue":{"value":"finitely presentable algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q454375$21E5BF1E-2FB3-499C-A6B1-F585322992DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q454375$2C3A7A41-45D9-49F3-B10E-0F11D1E5066F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q454375$FAFC8C2B-A5C0-4EAC-AA89-5503B9345413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"529ecd50daf3f41e2955bf30f0165bbefd07f1b3","datavalue":{"value":"interior algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q454375$ED713A0D-3C1D-44D4-963A-D4E699013934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q454375$03E2EF80-168D-43BA-AA8B-5F4CEC803058","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":"Q454375$EABD8421-87C0-49B6-9E02-C9594F0A4E3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd6fe9b3c06972f1c0a6b30d9f99e5ebcaa29545","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9391-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q454375$4BBFD811-5A3B-430B-823A-693F5F24A4AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d6977084f7f13c9585e5cb9f8b250988760dab9","datavalue":{"value":"W2002094262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454375$21ADC84D-2F9A-47BD-A96D-0434425CBD49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f614113e6cdc567134dd5f11080b39f9ea52705","datavalue":{"value":{"entity-type":"item","numeric-id":5597549,"id":"Q5597549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$A9FE3D39-0611-4EFA-BBE7-B7FA5E81D05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c738b08d87af7a43a4ff84f7d7ec3ddbc2b7ab14","datavalue":{"value":{"entity-type":"item","numeric-id":4137166,"id":"Q4137166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$C15480D3-D675-40B2-A2F5-1C23EACD9C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef350ead7090cd66027dea6c9a11f206e833f3c","datavalue":{"value":{"entity-type":"item","numeric-id":1839272,"id":"Q1839272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$042DE4CB-DA48-4CFF-B45A-3432916FAD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$A4201CED-E886-436A-8103-BDFCE1178C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$9F5C2D63-F0EC-47DA-B67B-1A1E88A2CD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$40A06334-F53E-4565-B417-7435E42C9812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$F108C7A8-1BDD-4209-BADB-D6CF28754988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be90c036b9866063421eeee88537ad540e758dd","datavalue":{"value":{"entity-type":"item","numeric-id":5502720,"id":"Q5502720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$FDC6C301-ED79-483E-847B-2B954C9A18F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a21c64ef90c253f5ccf479b20911f9df3bd6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5570908,"id":"Q5570908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$75B3994A-0B26-4AE1-AF4E-3A0250AD2F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"799e9000c66a9302e003e68e1c27e1c7bd28de8e","datavalue":{"value":{"entity-type":"item","numeric-id":809064,"id":"Q809064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$318CDE99-3C92-4B2F-A9A3-932E6645C806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$D9FCD599-FFA2-40CE-AB3A-1D5CE11C0A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e458e02ef366425bee914a3948d69a60170198bc","datavalue":{"value":{"entity-type":"item","numeric-id":1220915,"id":"Q1220915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$D4D42B5D-4ADD-4869-8F11-6181FF9A4A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$37CB9E6A-D454-4047-9A70-D6C415BBC1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8e02cfe97cc01f6f17cf6355854c168f0a78db","datavalue":{"value":{"entity-type":"item","numeric-id":5518356,"id":"Q5518356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$B7248C4F-EEBC-46B5-AF41-059BD513E05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d24cb6b0653e5ab48480c9fc9fba5674218aedc3","datavalue":{"value":{"entity-type":"item","numeric-id":4065518,"id":"Q4065518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454375$28AFA280-2231-43B7-B83F-677F4D4A60AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c39b01074e9a35e9d74ba91d9ffc907c8aed6da0","datavalue":{"value":"10.1007/S11225-012-9391-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454375$826AD5B4-0FD0-4B5A-BCAD-1C054D8DC97E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3cb0dae4f53448b00a4ce1a73980aaaef42bf1","datavalue":{"value":{"entity-type":"item","numeric-id":5002194,"id":"Q5002194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"088164776d67fefec17a01969cc3ae3fbbef22de","datavalue":{"value":{"amount":"+0.7756812572479248","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":"Q454375$98AF8430-1FA6-4373-8255-F5809091C2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7830490a7c3e935f795dee81d31349ed914335","datavalue":{"value":{"entity-type":"item","numeric-id":1580648,"id":"Q1580648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225a25d381e87f774d223ac331f3c7d11ae9639f","datavalue":{"value":{"amount":"+0.769389271736145","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":"Q454375$0CDACA78-7493-4165-BD65-3B79DB4A0521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5d43c95bf8b39d40ea7c9f841461373a13c8c0d","datavalue":{"value":{"entity-type":"item","numeric-id":2278840,"id":"Q2278840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4231e4124bb0dc8191556f97457fb664f1b7738b","datavalue":{"value":{"amount":"+0.7345686554908752","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":"Q454375$659D1B39-361C-4A50-A3F2-4B1ABE8C67A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"866dd27da473fcc12f318bf6249d87df779e094a","datavalue":{"value":{"entity-type":"item","numeric-id":1073065,"id":"Q1073065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5a05425feb7d806cc29b2bee164eee3ed884a3","datavalue":{"value":{"amount":"+0.729465901851654","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":"Q454375$F8E85AB5-D794-4C4B-9046-399627F99233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c53ca25dc47075ca76493ed402671e17a88bb6","datavalue":{"value":{"entity-type":"item","numeric-id":4724609,"id":"Q4724609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb9953c8288a2eb29e42c93ef317ac897d8a7f3","datavalue":{"value":{"amount":"+0.7283915877342224","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":"Q454375$46205B0B-D6E3-4B51-8A2F-19215634CCA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:454375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:454375"}}}}}