{"entities":{"Q6039636":{"pageid":13121382,"ns":120,"title":"Item:Q6039636","lastrevid":58639557,"modified":"2026-04-06T03:17:50Z","type":"item","id":"Q6039636","labels":{"en":{"language":"en","value":"Quantum geometry of Boolean algebras and de Morgan duality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7687930"}},"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":"Q6039636$DA946B08-0F8D-4736-8172-9D0C3CFB879F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98df7054a87424b29a1134ad80273b71f81e547a","datavalue":{"value":{"text":"Quantum geometry of Boolean algebras and de Morgan duality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6039636$9ACF9A1C-DBF8-4DE3-9479-EF1949E7B1C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd30ccf23f6140f1c18d52bbd26ffca2b511eb09","datavalue":{"value":{"entity-type":"item","numeric-id":165541,"id":"Q165541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$2A886E45-2170-47BE-AB86-A5B77F0BCA3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d32ecd8b996826005490457d7846f685fbe444bd","datavalue":{"value":{"entity-type":"item","numeric-id":247691,"id":"Q247691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$B94CD02F-CB25-42A7-91B3-74BFBB61D969","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df3e76aba048da6d60ed30c78f02969029aa9ede","datavalue":{"value":{"time":"+2023-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6039636$A6DAD2F0-3F52-403C-8CB5-4B8CFAD5C1CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15e93e3fd4a96fb996d8b80781bbdb3062afac3d","datavalue":{"value":"https://arxiv.org/abs/1911.12127","type":"string"},"datatype":"url"},"type":"statement","id":"Q6039636$55E903E8-E79F-4F98-9B77-E3352A7C5CBB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eaa5f96de2b3cd1b083ebe7cfaa2c96028d6643a","datavalue":{"value":"Summary: We take a fresh look at the geometrization of logic using the recently developed tools of ``quantum Riemannian geometry'' applied in the digital case over the field \\(\\mathbb{F}^2 = \\{0, 1\\}\\), extending de Morgan duality to this context of differential forms and connections. The 1-forms correspond to graphs and the exterior derivative of a subset amounts to the arrows that cross between the set and its complement. The line graph \\(0-1-2\\) has a non-flat but Ricci flat quantum Riemannian geometry. The previously known four quantum geometries on the triangle graph, of which one is curved, are revisited in terms of left-invariant differentials, as are the quantum geometries on the dual Hopf algebra, the group algebra of \\(\\mathbb{Z}_3\\). For the square, we find a moduli of four quantum Riemannian geometries, all flat, while for an \\(n\\)-gon with \\(n > 4\\) we find a unique one, again flat. We also propose an extension of de Morgan duality to general algebras and differentials over \\(\\mathbb{F}_2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6039636$B628CBA4-84FB-4842-8C87-DD9620C417B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039636$BADD45A0-347F-41B8-87FB-D084DBA6A87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aca3ef8d7fed5a2e532a6e85556c4ddb931de852","datavalue":{"value":"52C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039636$23F98C27-30F9-4DC5-BFF7-F567977C4EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48583039d81a4a8e03f12d71989d6bbcf8ba5cb8","datavalue":{"value":"58B32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039636$5295D378-3BA9-4FB3-A94D-210B6530437A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"04d9e195451428bc1b985b3d9122a54b844969a1","datavalue":{"value":"83C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039636$87A3A3EF-06D0-4452-A7FB-36E70BE2AE2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b26478afa344fa18ce0420ce3983ab1cf4a2a0ef","datavalue":{"value":"7687930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039636$AC4D2897-9D47-4FA3-B900-582E80705A4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6039636$A288F224-FEEA-4EB4-9B4F-1F1CE5FD3B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e44e949b0a1121799786dac144227671bd0e0d3e","datavalue":{"value":"noncommutative geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q6039636$61C27EC3-69C7-462E-99C0-4424E9747F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbfac679da52991a33813ba90e1a75b67227c9a1","datavalue":{"value":"digital geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q6039636$328EA1FD-67D9-4FDB-9FED-4CC1A6B4B686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a485b75bfa91b0e7216bfd8b0df6cd99a385cec7","datavalue":{"value":"quantum gravity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6039636$2E6D4F5B-3CD1-4EE7-91F5-E3901702CDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6039636$0A039C9C-CED9-413E-8B72-B36A0F90BC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a4417fbe70cb1930908552c1d0852a4de386ed6","datavalue":{"value":"power set","type":"string"},"datatype":"string"},"type":"statement","id":"Q6039636$01DBA524-8045-4289-997F-53D8D5B61D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6039636$0D801327-B836-4E49-B40D-2B6D8BCD646F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762a112ef0429a3655234c3e246a242461dca9bf","datavalue":{"value":"poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q6039636$A4701AD0-3920-4EF7-A85B-5B11F8E96CA2","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":"Q6039636$E446F314-438B-4EE4-8C5F-9AD8CDB1B773","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cf8a06030f27312c6bd012e56844e0ff96ce84e9","datavalue":{"value":"Q125573494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039636$53DD5103-6899-4AE7-AFC1-7FE50B3E74F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01c597a982bf01a38eba7c827bcdf3592d55a63c","datavalue":{"value":"W2990284083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039636$DF1862DF-5DC9-4257-8A60-B5DC5503A836","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4fd057c84f9d9ffdd364f808696462ac25cc0d","datavalue":{"value":{"entity-type":"item","numeric-id":5162431,"id":"Q5162431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$9E111F37-45CC-4B0F-B185-36C0C6F2762F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c350a0fb9f96ec90e3c66d4d710d2f0d8b3a09","datavalue":{"value":{"entity-type":"item","numeric-id":2180606,"id":"Q2180606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$6D73F912-8C47-4316-BF38-C743B1D65B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b642f94ea9c7608215ba30358aca31b88b41854a","datavalue":{"value":{"entity-type":"item","numeric-id":5407878,"id":"Q5407878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$BCF6B05C-05ED-4322-B5DF-16BA4D51CAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce6f1ef50a0c54c53257ba2b0fa7eb8e9a1b2d4","datavalue":{"value":{"entity-type":"item","numeric-id":2013497,"id":"Q2013497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$820E4BF2-F22E-4888-9DAE-C6A9BAE75799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2886bb73054819facc958f6028c0511b80dc8c4b","datavalue":{"value":{"entity-type":"item","numeric-id":4310044,"id":"Q4310044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$BD4CE21B-E462-4D76-9389-75962334FB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e858780ddda4ff5230f9169ab9483285e2877b2e","datavalue":{"value":{"entity-type":"item","numeric-id":3000931,"id":"Q3000931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$49A04A74-8573-4F41-84FB-BC25896ACFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e64ff96d24e78bf7cf0c4bef214924b47ccfe2f","datavalue":{"value":{"entity-type":"item","numeric-id":1816956,"id":"Q1816956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$B010C237-1B89-411A-8963-69678EB801FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf29858de9c5759c79a7755f47ba146a7d048c6","datavalue":{"value":{"entity-type":"item","numeric-id":1087535,"id":"Q1087535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$A7BD718F-558A-4A59-8771-B0BB75B4AAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c2d70214cdb8777091d05e5649dc053a0d4104","datavalue":{"value":{"entity-type":"item","numeric-id":3978982,"id":"Q3978982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$DDC0CF61-E533-4C30-97FF-35FF3BCA4B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bf7af97bcf8406871ab11f61f0165da307cc56","datavalue":{"value":{"entity-type":"item","numeric-id":3825201,"id":"Q3825201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$C0CECD03-9EAC-41A5-B507-FA8BBEA4E675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d837f6ad5c87aee42147283a9bba08cc4ea53ee","datavalue":{"value":{"entity-type":"item","numeric-id":1299343,"id":"Q1299343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$91DEF2FF-51BB-4D2B-ADB4-12BA3F386397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0426bc7bc19c7572e9f62617c572cf7dcf26aaf","datavalue":{"value":{"entity-type":"item","numeric-id":387267,"id":"Q387267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$4608E1CE-43F8-4F56-A2A9-25A2FE7CCF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65fd192b643ecf269e6cb15d07f1d80e3c8bdc8","datavalue":{"value":{"entity-type":"item","numeric-id":5160126,"id":"Q5160126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$85C35550-2927-4B9C-B360-D69B2BDEBFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73346c643ccca787d080c916793cf21bd37d2e41","datavalue":{"value":{"entity-type":"item","numeric-id":5159885,"id":"Q5159885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$4F17AE52-B9CE-41C0-BDE7-CB19D654FFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1ef0be193e4c2ebda0bec97054c795896a5261","datavalue":{"value":{"entity-type":"item","numeric-id":4635297,"id":"Q4635297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$B0DDAEF1-01BE-41A2-8D5A-3F4A51ABB4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205962f21e8116eda308fb5f793f52b63ee4fe9f","datavalue":{"value":{"entity-type":"item","numeric-id":5060413,"id":"Q5060413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$9E439D5A-141A-405F-AAEC-F252A8CC8D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d951f979a5ab3d4a9fe4846daf38eb6a2d6ac6c","datavalue":{"value":{"entity-type":"item","numeric-id":5141110,"id":"Q5141110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$2ECF88D4-BE50-4CA4-AC69-7ED37A3323F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88baa5c547bd5c1f35abb5a7bd6124b05540e951","datavalue":{"value":{"entity-type":"item","numeric-id":2371962,"id":"Q2371962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$C565575D-C7CD-4F06-A835-DD7FE629B922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dbf7f3e7e5af426c18716ed9b5df3800eeeba49","datavalue":{"value":{"entity-type":"item","numeric-id":2282974,"id":"Q2282974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$47FA5596-08C8-48D2-BB4B-ED988AE8D11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ffd417a7ae106c616f7ad009adcb47329b728c","datavalue":{"value":{"entity-type":"item","numeric-id":529984,"id":"Q529984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$4D1D7329-7F41-456F-BF82-74E25E47BB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5b97854898217f839b006fa89da52035a9bd95e","datavalue":{"value":{"entity-type":"item","numeric-id":4834971,"id":"Q4834971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$C91E3C02-F85D-4A22-87D5-05D13CBF4730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c27b322e2e4b126fd97a6e3a188b712236890fc9","datavalue":{"value":{"entity-type":"item","numeric-id":1914371,"id":"Q1914371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039636$B5ECACF5-F6E6-45E4-83E7-DEC4EEBDE8EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff250fd7ec0d6ed78b967fab514b3a55aa173c5f","datavalue":{"value":"10.4171/JNCG/460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039636$4615DBEC-003F-4C48-B3A0-A77B43E93035","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6039636","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6039636"}}}}}