{"entities":{"Q2351516":{"pageid":2362259,"ns":120,"title":"Item:Q2351516","lastrevid":52288520,"modified":"2026-01-21T08:58:04Z","type":"item","id":"Q2351516","labels":{"en":{"language":"en","value":"The connection of skew Boolean algebras and discriminator varieties to Church algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6449389"}},"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":"Q2351516$D9885D0A-7BA4-434F-B0DD-D02274530E92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3351220e0501b74d81c2f9bbf9dd7cd66de8935","datavalue":{"value":{"text":"The connection of skew Boolean algebras and discriminator varieties to Church algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2351516$F2E068B6-9590-4276-B435-FA952CA9E46E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2c3d3a01089373245e893d6f986d2a23e4bb491","datavalue":{"value":"1332.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351516$7C546403-7352-410D-B9C3-5051EF077C98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a24ab5360b070b659bc6ae190b54455dd03802bb","datavalue":{"value":{"entity-type":"item","numeric-id":283330,"id":"Q283330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$94C8B15B-10ED-4CD6-A695-298B2F5E369C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e73a6f6ccb7e8687faa022e777bcbb77b1f201","datavalue":{"value":{"entity-type":"item","numeric-id":353353,"id":"Q353353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$617689DD-0D43-47D0-AA7C-D43F63D46730","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":"Q2351516$57D68705-9704-4A2C-A801-F4976529EF07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c61f53f8f8d7719eaa1ef54a22f9b50ec39aa46f","datavalue":{"value":{"time":"+2015-06-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":"Q2351516$34068CA2-1FB6-45CE-AD8C-D23A77BD93D6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b2c734db9fe5737bb438bc4640bca9a1d33614c","datavalue":{"value":"A skew Boolean algebra (SBA, for short) is an algebra \\((A;\\vee,\\wedge,\\setminus,0)\\) of type \\((2,2,2,0)\\) which is a non-commutative analogue of a (generalized) BA. Of course, every subset \\(x\\wedge A \\wedge x\\) of a SBA is a subalgebra of \\(A\\) and a Boolean lattice. SBA's possess a partial order defined \\(x\\geq y\\) if \\(x\\vee y=x=y\\vee x\\), or equivalently, if \\(x\\wedge y=y=y\\wedge x.\\)   An SBA \\(A\\) is called \\textit{right-handed} if it satisfies \\(x\\wedge y\\wedge x=y\\wedge x\\) and the dual identity. Similarly, one can define left-handed SBA's. A variety \\(V\\) of algebras with a term \\(d(x,y,z)\\) satisfying \\(d(a,b,c)=a\\) if \\(a\\neq b,\\) and \\(d(a,b,c)=c\\) if \\(a=b\\) in any \\(A\\in V,\\) is called a \\textit{discriminator variety}. Especially, a discriminator variety with a constant term is called \\textit{pointed discriminator variety}.   An algebra \\((A;q,0,1)\\) of type \\((3,0,0)\\) is called a \\textit{Church algebra} if it satisfies the identities \\(q(1,x,y)=x\\) and \\(q(0,x,y)=y\\). A \\textit{right Church algebra} (= CA) is an algebra \\((A;F)\\) of type \\(\\tau,\\) with a fixed ternary operation \\(q\\) and a constant 0 that satisfy the identity \\(q(0,x,y)=x.\\) Important is the concept of a \\textit{semicentral element} in a right CA which is a generalization of the central element.  The main results are:{\\parindent=0.7cm\\begin{itemize}\\item[(1)] The set of all semicentral elements in a right CA forms a right-handed SBA. \\item[(2)] The variety of all semicentral right CA's (= all elements are semicentral) of type \\(\\tau\\) is term equivalent to the variety of right-handed skew BA's. \\item[(3)] A pointed variety (i.e. with a fixed constant 0) is a discriminator variety of semicentral right CA's iff it is a 0-regular variety (i.e. congruences are uniquely determined by their congruence class containing 0).  \\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351516$4A5D05AA-59AB-467E-9724-5F5F43F91157","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351516$FD7E6C2B-8FA1-478A-85BF-673194732D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bfc49eb62e0d33079720f377ccf814211c24ac","datavalue":{"value":"06E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351516$4A6AA908-8B9F-4F42-BC46-53B1423CBCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351516$6E16F09D-349B-4552-9F03-3E7E085E3C8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49e3dc4ecbf9c9c606262436d2c8ac72014689a3","datavalue":{"value":"6449389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351516$9C87D147-8D6C-4EEB-AF8A-38D6CF434036","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17db9457748c73849b7ed0580ffe01810db3b455","datavalue":{"value":"skew Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351516$B817C406-418A-4749-9857-7B8A1D971E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2c5b32edf6c10b83a45a8b0ef73af44a33d43cf","datavalue":{"value":"Church algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351516$0A1206FC-5F21-4DDC-9571-47C305239130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6dd1981b07a4c4fb58bb4b18036831c634f9b9","datavalue":{"value":"discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351516$AB483805-0A3A-4F05-BF65-37E345508D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be80cf79325f290780b71bfc1e2fb48ae0632e8e","datavalue":{"value":"factor congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351516$F45C9002-2990-4831-BD35-4D0F153D5A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1180e8e65753bb884823ee11c0f7aa642af1886","datavalue":{"value":"decomposition operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351516$B7C75A24-CCD3-47EC-9151-1B0F3E50DB37","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a461cfcc1c525c3e05a3716cbb9b308cdf61f148","datavalue":{"value":{"entity-type":"item","numeric-id":1175934,"id":"Q1175934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$58634182-6992-4EA6-9026-4FFE08D5A21C","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":"Q2351516$FE90A7C9-50F4-43DE-8AD4-C48790DBF726","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed7a00d510a8da54d8a46830dde996e1207eff08","datavalue":{"value":"https://doi.org/10.1007/s00012-015-0320-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2351516$2353CECB-4D20-4FCF-9562-C7B0E56C8AC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b01e9eaa9f7e029659b18ce153ec840d55d26c88","datavalue":{"value":"W2004737322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351516$DF0AE0A3-ABA9-4F69-8BD8-356209027E56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dea920728159133bd671dff056605cd4f59f7c7","datavalue":{"value":{"entity-type":"item","numeric-id":4923724,"id":"Q4923724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$75A5B981-8148-4443-BB29-E97BF3D48A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7ffce5fc1fce85baf985a74e396d449d6c3c5e","datavalue":{"value":{"entity-type":"item","numeric-id":3199467,"id":"Q3199467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$980ED4F7-B9DE-4970-A7A2-C312F47F9FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13e0a746a21efd4152a179d33db2e502aff5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":1891275,"id":"Q1891275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$FF65CA1A-9B19-4FDA-A088-15233EB8FBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$2FA1529D-E155-4B19-8741-861AB6266959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a861bc8b169665836e094e7fb7d378c835f2d35a","datavalue":{"value":{"entity-type":"item","numeric-id":3430278,"id":"Q3430278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$272A4114-B07C-4AE3-9EC4-89E17457380B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f10c73ca600567bcab1a84127e54a310efb0bb9","datavalue":{"value":{"entity-type":"item","numeric-id":3145436,"id":"Q3145436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$BD57E4F0-6269-4B56-A3D7-21B313997FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51894f52638c1304be60094f28e873f0cb1f404f","datavalue":{"value":{"entity-type":"item","numeric-id":2446546,"id":"Q2446546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$6A9626D8-8D48-43EA-8BC1-425E367346C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3453d5dc49b5b2542e5473a32424b7e39fe20aaf","datavalue":{"value":{"entity-type":"item","numeric-id":5595183,"id":"Q5595183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$CEAF5B90-FD4B-4BC0-A132-01A1CAC87519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5661936142ff4e54fd79c1ad5c44be65023baab9","datavalue":{"value":{"entity-type":"item","numeric-id":451077,"id":"Q451077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$7D22E589-B980-4967-885F-739083FAC357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d6431af4b98d228739f53f49a134a57c9abe5c","datavalue":{"value":{"entity-type":"item","numeric-id":5410346,"id":"Q5410346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$A42E5C86-B4F1-4985-88BC-257300729CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8b64c8734b94f74924c0b0ac4419105b2f5aec6","datavalue":{"value":{"entity-type":"item","numeric-id":1118623,"id":"Q1118623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$E243C54C-02EA-4EC3-9287-27FC3C7643E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e281255931d986dca3a8e220de475e1a83ca6f","datavalue":{"value":{"entity-type":"item","numeric-id":2639883,"id":"Q2639883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$0A6025AC-28CF-45C9-9132-928CEE70368B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47724ce31f1408404f2b60f202ca6cd1a6eca842","datavalue":{"value":{"entity-type":"item","numeric-id":1905969,"id":"Q1905969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$A64828A1-D5F2-45E7-92AB-75261AF058BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b679607c346622ab6303d661479b8875e1e3f8f2","datavalue":{"value":{"entity-type":"item","numeric-id":3599151,"id":"Q3599151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$752219AE-5446-429F-ADA8-520116E55727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$1B3058F9-718B-48F3-9AED-4A8262C6CB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd722e32e529970c4a18a1bec3d5c4a72ca54448","datavalue":{"value":{"entity-type":"item","numeric-id":353355,"id":"Q353355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$59AE5255-DEAE-453F-BF4C-6F565CA18223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e73bcbe223f2cb013de881e70b4e47e3e97141","datavalue":{"value":{"entity-type":"item","numeric-id":1922889,"id":"Q1922889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351516$34C1A923-AFE6-4AF2-AD74-94FC496AE924","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcfa7fcc42ac5de90e3adc640b2122ec4c01f8bc","datavalue":{"value":"10.1007/S00012-015-0320-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351516$AECB8D6C-4881-42A5-B6E0-0EAC2BEFB2BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22563344e7087d3cb57e078b7fdce926eae1911a","datavalue":{"value":{"entity-type":"item","numeric-id":1891275,"id":"Q1891275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccc72dbbc7f4ab8edbf55a745f14bf95e608269a","datavalue":{"value":{"amount":"+0.8220190405845642","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":"Q2351516$16434F28-26C8-4848-968C-7AB447F4605D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae75fc7ea1cda3b4b3d30bf448c5b280c7eacf7","datavalue":{"value":{"entity-type":"item","numeric-id":2639883,"id":"Q2639883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"003f8f526792ea3bc68d7c7903c8721b0cd34d51","datavalue":{"value":{"amount":"+0.7589960694313049","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":"Q2351516$A63AE0CF-BB45-414A-AFC5-5E8D09D9E09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2050860b645b3dfb0a9f062e2a38c270d35b1a4f","datavalue":{"value":{"entity-type":"item","numeric-id":353355,"id":"Q353355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"392ff69f72d4aef549a2a621fb389267ee39dbe7","datavalue":{"value":{"amount":"+0.7561756372451782","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":"Q2351516$AB769766-14D4-4E85-84C1-8A71EA546E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e5ef70f68ad964444e792b941323b5d35056a32","datavalue":{"value":{"entity-type":"item","numeric-id":2986033,"id":"Q2986033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0adff59161d549f34ec88a11a6ba56abcac98755","datavalue":{"value":{"amount":"+0.7457887530326843","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":"Q2351516$72BADF49-9637-4501-9D5C-3DD133AC1644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1afca27f70822e96e0e5a552e3bd4e855a7739fb","datavalue":{"value":{"entity-type":"item","numeric-id":2634703,"id":"Q2634703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a627653e67d95c67a6bbc1c81d3ca0489c87ad73","datavalue":{"value":{"amount":"+0.7416378855705261","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":"Q2351516$CBD0E708-49E3-4690-84E6-1FF870C6C8D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2351516","badges":[]}}}}}