{"entities":{"Q1866838":{"pageid":1877580,"ns":120,"title":"Item:Q1866838","lastrevid":71017920,"modified":"2026-04-13T18:56:20Z","type":"item","id":"Q1866838","labels":{"en":{"language":"en","value":"Generating primitive positive clones"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1899959"}},"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":"Q1866838$A1BE7560-6366-4925-874D-8181D1F14EB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40868acbaa21db1ed9eeb2d3d7ff094c65ff09b8","datavalue":{"value":{"text":"Generating primitive positive clones","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1866838$8284E32D-80DF-40BE-A44D-D23325CEC2D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9ee24d0218fde6f35e7ac0e5b38a5094e15614d","datavalue":{"value":"1013.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866838$40C27A28-70B5-4674-9504-73081B91D50B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ba436c3fa8d81c021bf964695830907b5c2b470","datavalue":{"value":{"entity-type":"item","numeric-id":995374,"id":"Q995374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866838$CF749674-4842-4CA5-A45E-2D03428D31EF","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":"Q1866838$80D9D185-276E-4C7C-9648-7214601BD46F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ba3e0b9a3b6c64b5e8a6782bae90e5fe1531522","datavalue":{"value":{"time":"+2003-04-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":"Q1866838$8C85357F-5655-4E35-898B-7416CA367D73","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a1ad5c8bd0102ca79672da1cf8e41e1ecd2480b","datavalue":{"value":"A primitive positive formula is a first-order formula of the form \\(\\exists \\;\\wedge \\) (atomic). A clone \\(C\\) on a set \\(A\\) is a primitive positive clone if every operation on \\(A\\) defined from operations in \\(C\\) using a primitive positive formula is again in \\(C\\).    \\textit{S. Burris} and \\textit{R. Willard} [Proc. Am. Math. Soc. 101, 427-430 (1987; Zbl 0656.08002)] proved that there are finitely many primitive positive clones on any finite set. They conjectured that every such primitive positive clone is actually generated from its members of rank \\(|A|\\) if \\(A\\) has more than two elements.    Suppose that for a finite algebra \\textbf{A}, PPC\\# (\\textbf{A}) is the smallest number \\(n\\) for which PPC(Clo\\textbf{A}), the primitive positive clone generated by Clo\\textbf{A}, is equal to PPC(Clo\\(_n\\)\\textbf{A}). In the paper the author discusses the problem how large PPC\\# (\\textbf{A}) can be when special conditions are assumed for the finite algebra \\textbf{A}. It is shown that PPC\\# (\\textbf{A})\\(\\leq |A|+2\\) if \\textbf{A} generates a congruence permutable variety and every subalgebra of \\textbf{A} is the product of a congruence neutral algebra and an Abelian algebra. PPC\\# (\\textbf{A})\\(\\leq |A|\\) holds when the variety generated by \\textbf{A} is congruence distributive, Abelian or decidable. Furthermore, an example is given for which PPC\\# (\\textbf{A})\\(\\geq (|A|-1)^2.\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866838$47A291C7-EA30-4BEB-A77E-30A3CD202899","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866838$28A1AD0E-91F1-405A-B513-4D8045508A8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866838$89C2BE3B-3C15-4BAF-91D0-69F5B17922DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a6b8910b2f61f84f7da81eca252714eacb86688","datavalue":{"value":"08A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866838$2055DE7A-5F03-40FB-8BA4-973EDC7C7C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866838$51CE644C-6AEB-4F7D-8BA8-68611FC690FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d30888850f2d5bca24faa27c1ae8a17b3d3e9ee","datavalue":{"value":"1899959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866838$05A04A5E-E242-4B23-9204-F893134F7695","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd687cd3302b9a5ebba7a7363fa52f543982dac","datavalue":{"value":"primitive positive clone","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866838$C65257BE-8E94-4B1C-906A-230546D831C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37964b9a73315f8ca83f7e711a8c9bdef892a06","datavalue":{"value":"congruence distributive variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866838$620DD22E-089B-460D-956B-41FEC633638C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b95329ff69c5d845115be250ccadc7224ed6d1e","datavalue":{"value":"Abelian variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866838$7B16F2A9-F188-4B2F-87D0-0A4F624035ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1db9c552adf599ea5bb8401ba72f9d9875290c2","datavalue":{"value":"decidable variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866838$6F22F7E6-D747-426A-9177-E2301689A832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cd416648139ffce6829cb24a1857a6823634869","datavalue":{"value":"congruence permutable variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866838$0E3DDB6D-8D72-47DD-BA4E-D52484C5C7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cbac838d21969d1f6fbbb4da7c51a77f7002baa","datavalue":{"value":"congruence neutral algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866838$78B5797E-B6FA-4C36-A87A-42CF798E4FF4","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":"Q1866838$5B26E400-42C4-48F1-98C0-D9FC24931FB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3600a2b0c0b240b38b3d52f86498f4d0f76d2c8d","datavalue":{"value":"https://doi.org/10.1007/s000120050179","type":"string"},"datatype":"url"},"type":"statement","id":"Q1866838$A807459B-5B84-49D7-88DE-B12FEB4D264C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c9987932af553008f7ceff69440b21e4815f169","datavalue":{"value":"W1990731217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866838$71296493-4D94-4CF9-A933-DD15150A61C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab3087ec77800d35bccba6256749cf11852cf638","datavalue":{"value":"10.1007/S000120050179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866838$73CA4202-3D58-4707-A96F-1E0E3D637DE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38a1d238d4cafdbd82d07accafb94eb752458991","datavalue":{"value":{"entity-type":"item","numeric-id":3539582,"id":"Q3539582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"722c65823c62f8089b57e4a2c5c96c231805a6dc","datavalue":{"value":{"amount":"+0.8080657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866838$CD579BE1-3D77-4274-B2E3-EFE6340B1CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06908819de70968dbcd4f722dcb8fd81a219cd9c","datavalue":{"value":{"entity-type":"item","numeric-id":3803180,"id":"Q3803180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c7080d12977cbd732e745d401f921bb8ec7c48","datavalue":{"value":{"amount":"+0.77111757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866838$76A7E54B-75BE-4A1E-BAC8-A0A9DF2F5013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac01b97fbd5b3be62333de7d5855c649e1aec08","datavalue":{"value":{"entity-type":"item","numeric-id":3724393,"id":"Q3724393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2dfc8e55ab92a23f87da5d26fe6aafd0c0709c2","datavalue":{"value":{"amount":"+0.7616732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866838$80A765CD-CE6F-4060-9F96-10404DEE24B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7827638e57dc53b495eefee94be23a5bb3da46a5","datavalue":{"value":{"entity-type":"item","numeric-id":932583,"id":"Q932583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699cbea4ad4462264f15253781cba66a4c4f3b98","datavalue":{"value":{"amount":"+0.7504707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866838$C2CB4636-7826-4B14-AF30-75825DC41CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7f7433230ccf10ae7a1aaf60da96de96843f73f","datavalue":{"value":{"entity-type":"item","numeric-id":4700368,"id":"Q4700368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c274e591ce140afc7ad5e48d4c618778415f9064","datavalue":{"value":{"amount":"+0.74490905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866838$CFAB49E5-2A82-4081-8FC0-C85C80876F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e561c68078f247fb0cf2c9a76c53cd08cbb218b","datavalue":{"value":{"entity-type":"item","numeric-id":5187334,"id":"Q5187334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0752933603351b706462fd4030c179e915f3c80d","datavalue":{"value":{"amount":"+0.69871986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866838$602266F6-4A72-4083-AA7D-60D9F44D98E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2ee5bceed7b254a84e162a688a49eca5ab1f82","datavalue":{"value":{"entity-type":"item","numeric-id":4308342,"id":"Q4308342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6638430c42336b8239e800e9b9946da3d3389d5c","datavalue":{"value":{"amount":"+0.69659346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866838$FD734E49-8C02-4A9F-A5FA-87AD3ADBBD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8864ea8b8fcc39def85b67bb44f629fb4323636e","datavalue":{"value":{"entity-type":"item","numeric-id":3322162,"id":"Q3322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee25ab1a14567b0080a881ffae0214cfacdd8118","datavalue":{"value":{"amount":"+0.6953158","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866838$B61A923F-C939-4A5F-BCF3-D4760FBEA401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b9c51466f86d8072c90f3f2dd86db0dca6db2f","datavalue":{"value":{"entity-type":"item","numeric-id":5407040,"id":"Q5407040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e94c3f455b68e7573d7fb4849fe3385ffc9f8c","datavalue":{"value":{"amount":"+0.6948235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866838$BF423331-6174-4641-ACC2-2D8F08617933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba13b54f8f634039cc9b4b4f53012011c9a9215","datavalue":{"value":{"entity-type":"item","numeric-id":5039752,"id":"Q5039752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc1f0c63dee9a13719f9daebd0dbf85ac69ba009","datavalue":{"value":{"amount":"+0.69471467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866838$8DD650FB-497A-4DE9-9625-8C2AD3330B61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating primitive positive clones","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generating_primitive_positive_clones"}}}}}