{"entities":{"Q2836159":{"pageid":2846889,"ns":120,"title":"Item:Q2836159","lastrevid":83796140,"modified":"2026-05-07T11:39:37Z","type":"item","id":"Q2836159","labels":{"en":{"language":"en","value":"On properties of the free BCI-algebra with one generator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6662107"}},"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":"Q2836159$B8A4E64E-990D-4497-8DDF-6702E17DC148","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c2106035a7eca1efdbf52f22a86d1337d3df009","datavalue":{"value":{"text":"On properties of the free BCI-algebra with one generator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2836159$7964A1F4-DAEE-48BC-A037-EEC8AC6CFEA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82100c7f89c93c85ae35ab4adb299842cf066830","datavalue":{"value":"1399.06044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2836159$DBF8CBED-6DEE-4937-BB7D-F51F9FA2F3E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"389939384471d0ba6dbb10ce8e6d5f0c9e4acd6c","datavalue":{"value":{"entity-type":"item","numeric-id":186115,"id":"Q186115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2836159$6BCADD9D-D1C8-4C64-9037-0DACD085260E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76ff6c00f3aaf4e5dae5fa4b892cf0fb90d52811","datavalue":{"value":{"entity-type":"item","numeric-id":2836158,"id":"Q2836158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2836159$C5ED4FF9-FAD1-41F6-BCBF-EEFA9347420A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9654dda326c7625386dfa5d02ed88aa11952965c","datavalue":{"value":{"entity-type":"item","numeric-id":2054591,"id":"Q2054591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2836159$676532CF-76A6-4274-9CEF-328B9BD5305C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b630ee1b7f1c38860ae9f2dfba8ca06dabfa4cf","datavalue":{"value":{"time":"+2016-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2836159$7D49EBE2-BC0F-48A6-A046-878045470870","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2836159$3A659C6C-1B02-4B28-9650-D10162909AA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bcc0161ec00b2d822758408b9f4e8461f798af0","datavalue":{"value":"6662107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2836159$79E10E56-F437-4C23-AEFB-397CC6642A04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab84a5320f004948200d788bf58a78ec88de5e68","datavalue":{"value":"BCI-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2836159$5197339B-9C61-4FA9-89AD-94B92B6D56D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"697eb8fa492674666797d81638454984bf25ffe0","datavalue":{"value":"free BCI-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2836159$2CE413CB-C6B9-4BD0-8586-2B6E2057A12B","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":"Q2836159$85D737A7-416D-4A8E-BA1B-7896025347E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b932e1b832a3f2beacd2736296e40c6e72db858","datavalue":{"value":"https://doi.org/10.1515/ms-2015-0180","type":"string"},"datatype":"url"},"type":"statement","id":"Q2836159$48EBDE85-7574-4C0E-B02D-FE4B04FC9617","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc2d2f7bba74c8329c2105b75021b9fc8600122d","datavalue":{"value":"W2550253603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2836159$227B37A3-FABE-45CD-BD31-D524B2A80A08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49c5406efb645cadc757d59076060bed7300ba46","datavalue":{"value":"10.1515/MS-2015-0180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2836159$82B9EBE3-FFB1-4D4A-8B28-B66293E38358","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e627fbda8e6285cf3aae6d2ea3d8abdc6c958961","datavalue":{"value":"A BCI-algebra is a type \\((2,0)\\) algebra on the language \\((*,0)\\) satisfying the axioms: NEWLINE\\begin{itemize}NEWLINE\\item[1.] \\(x*0 = x\\),NEWLINE\\item[2.] \\(\\bigl ((x*y)*(x*z)\\bigl)*(z*y) = 0\\),NEWLINE\\item[3.] \\(x*y = 0\\) and \\(y*x = 0\\) \\(\\Rightarrow \\) \\(x = y\\).NEWLINE\\end{itemize}NEWLINEA BCI-algebra is partially ordered by the relation \\(x \\leq y\\) if and only if \\(x*y = 0\\). The constant 0 is a minimal element with respect to this order and the branch of all elements above 0 forms a subalgebra of the BCI-algebra; in fact, a BCK-subalgebra. There may exist more minimal elements with respect to the partial order and the set of elements above each minimal element forms a branch that is disjoint from each other branch. Thus, elements in different branches are incomparable. The set of all minimal elements forms an abelian group under the operation \\(x+y := x*(0*y)\\).NEWLINENEWLINEThis article considers the free BCI-algebra generated by a single free generator \\(x\\). It is shown that this algebra is (countably) infinite and has infinitely many minimal elements and hence infinitely many branches. In addition, each branch is shown to contain both an infinite chain, without least element, and an infinite antichain.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2836159$62781E87-CD80-4859-9D1D-683EE1766037","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"856e782812cf01656799bfaae55fcc57de510411","datavalue":{"value":{"entity-type":"item","numeric-id":4655018,"id":"Q4655018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"949153e4e369282ba84c69ffd38a9d48586b46d2","datavalue":{"value":{"amount":"+0.8020749688148499","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":"Q2836159$A088EADB-5B19-41E8-9043-8B84267CD0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"812016923c3492dbfaafdf11a15feb92bf40d1c3","datavalue":{"value":{"entity-type":"item","numeric-id":3338248,"id":"Q3338248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8464fb57cb5568b19fcda77816d180140aea7f8f","datavalue":{"value":{"amount":"+0.8020009398460388","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":"Q2836159$F7C5CDFB-A629-4DA5-BAE9-C89482E17341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c591a4324cd6337e6861331dc3be93dd1da8d7","datavalue":{"value":{"entity-type":"item","numeric-id":4206796,"id":"Q4206796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dce50c48b34f736ab42dda295658482b6a3fa058","datavalue":{"value":{"amount":"+0.7996837496757507","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":"Q2836159$9271847C-4C50-4718-A219-FAF66EC8A148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd7911e02f6bab2a40f8bf9872009e447cbf72d","datavalue":{"value":{"entity-type":"item","numeric-id":4806297,"id":"Q4806297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f5d241515944f5c0d8a4c012f1f7eadc0f4809","datavalue":{"value":{"amount":"+0.7990225553512573","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":"Q2836159$AF0DFBD7-7EB0-422F-B260-66A5693514F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a0315eb696e9d41434ced5bfdc51562d862e94","datavalue":{"value":{"entity-type":"item","numeric-id":3328543,"id":"Q3328543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f5d241515944f5c0d8a4c012f1f7eadc0f4809","datavalue":{"value":{"amount":"+0.7990225553512573","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":"Q2836159$4CE42E1F-27D1-4C20-ACA8-CA2B24F7C4C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On properties of the free BCI-algebra with one generator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_properties_of_the_free_BCI-algebra_with_one_generator"}}}}}