{"entities":{"Q2476160":{"pageid":2486903,"ns":120,"title":"Item:Q2476160","lastrevid":73471035,"modified":"2026-04-14T16:07:15Z","type":"item","id":"Q2476160","labels":{"en":{"language":"en","value":"Topo-canonical completions of closure algebras and Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5248300"}},"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":"Q2476160$C87168AB-341B-4BB3-BDDC-9B6F940112E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ed3ade1a76a070c50d9fc024db10c52777d2cea","datavalue":{"value":{"text":"Topo-canonical completions of closure algebras and Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2476160$B34576CC-AEF9-4013-87F7-2D4D7150D523","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1ca6e82e395e7f705b0ece93f2f4b9cf1a02322","datavalue":{"value":"1135.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476160$826B235C-4026-4CB8-A80C-084AB563B879","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476160$D6F6755F-D042-4B23-B06E-2F3369F73C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7a59dc1828332765db1470be3fe0c199d74ad57","datavalue":{"value":{"entity-type":"item","numeric-id":800424,"id":"Q800424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476160$BA089D6F-A1B7-4589-8077-D60E367879BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae0ac4d1cb62b97c78ea4b7512361f97c99bd36b","datavalue":{"value":{"entity-type":"item","numeric-id":215952,"id":"Q215952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476160$8123CFD3-C093-43A1-AA6D-CE079D3759F1","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":"Q2476160$4F1B3C04-2A8E-496F-9129-7B9D00367E52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2bb6064fe12f1f98326de21fadc6a9704c90a","datavalue":{"value":{"time":"+2008-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2476160$B0D83A0A-28E6-4631-A214-753A40AD7805","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a1e6d72c26745977b9474eaa57f4287b1a3071f","datavalue":{"value":"In this long paper there is introduced the notion of topo-canonical completions of closure algebras and Heyting algebras. The connection with canonical completions is exhibited by showing that the McKinsey-Tarski topology, which gives rise to the topo-canonical completion, is the intersection of the Stone topology and the Alexandroff topology, the latter of which gives rise to the canonical completion. The duals of topo-canonical completions are described in terms of the Salbany and Banaschewski compactifications, and topo-canonical varieties are characterised. In particular there is established the interesting fact that topo-canonical completions of Heyting algebras, which are isomorphic to their ideal completions, preserve no identities of Heyting algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476160$5C7CADE5-32A9-4C15-A2BF-2D02448E89B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476160$2E33C24D-4E5D-432C-8FCE-DC9F8E4EBED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476160$4FC7C293-556D-437F-B440-6B117F30662B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476160$D7916BAF-3A7A-4C34-B0DF-5B3F395D802E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476160$7E4B58B2-279B-4F86-A504-66F3CDF9741E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cebf98b8892d4bb3190499731aa988c9100aa8f","datavalue":{"value":"5248300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476160$68C5D9FE-59FF-4E4F-9F26-F492A5484402","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc82aacb72df593e9638fb7b015d44399baedc90","datavalue":{"value":"closure algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476160$DCB81443-4DB3-4123-A46C-8EC09169E0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476160$9E2BEDA6-CE4B-4556-A1C5-DA0E383D84FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e30973933699256816f5b85e3e012c44ce57d89","datavalue":{"value":"topo-canonical completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476160$CD9E6B3B-29D1-4D93-B6C6-76A62DDA977F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1b5fd484aabf4ddc3b530e53be3763b9fa0441a","datavalue":{"value":"compactifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476160$A1F5C6CA-3CDE-4C3C-93F3-E876C2C1FF65","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":"Q2476160$41F2F19B-7A78-4E71-9B65-0295E3EB262F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"239bb6eae03508f625f1636bb6e3a24533cce007","datavalue":{"value":"https://doi.org/10.1007/s00012-007-2032-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2476160$9E6777C2-9A3A-4464-BB9E-2509689361D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d98e07e5a5f578174a7a8d2f7555be2d4c4bbc02","datavalue":{"value":"W2087748395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476160$EAC989C1-D460-48F1-93F3-E5C52595F894","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb507b1e58c85d972e1148278ddeb41d967a12de","datavalue":{"value":"10.1007/S00012-007-2032-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476160$F83F539F-B3C6-4FDB-BDE6-766BFCE82516","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b673d6154f882387c138f7a7a8f0afbf7e69a8","datavalue":{"value":{"entity-type":"item","numeric-id":862977,"id":"Q862977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"155b452f6f63b1e09294e50d566972c7aee06273","datavalue":{"value":{"amount":"+0.8281297087669373","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":"Q2476160$A5FBC07F-6332-4DE1-B6BE-DF06179ED833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9def0640af0b6d190b51d73358e3b9252f267fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5283726,"id":"Q5283726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50a0362ad729323e5a80e79b7f981220c5fd299","datavalue":{"value":{"amount":"+0.7992163896560669","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":"Q2476160$10F9F479-F1F5-4E66-A78B-19D9AAAFCC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c44b82d687c94ae42392ba12963d14b7b4991994","datavalue":{"value":{"entity-type":"item","numeric-id":454393,"id":"Q454393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d85d723d0b09d150820e3f4532d001934025d990","datavalue":{"value":{"amount":"+0.7921801209449768","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":"Q2476160$24133589-E65A-4E26-A8D6-CA9834972F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad588f7b4449825bc631ab3526096db3f14554ec","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7347c0b2d89b697087e702b4aa174925165117d","datavalue":{"value":{"amount":"+0.7906991839408875","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":"Q2476160$59BA59B3-19FB-4EB4-AEAA-49DD75F9DCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d871762fa3c6c70afd3ce42928e5613b0beddf","datavalue":{"value":{"entity-type":"item","numeric-id":4652057,"id":"Q4652057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc59af0284d8cd15052199eeb3c41970f19a562","datavalue":{"value":{"amount":"+0.7778659462928772","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":"Q2476160$6315A030-B70A-4A8D-A55A-2ADCB82202CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Topo-canonical completions of closure algebras and Heyting algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Topo-canonical_completions_of_closure_algebras_and_Heyting_algebras"}}}}}