{"entities":{"Q2266034":{"pageid":2276777,"ns":120,"title":"Item:Q2266034","lastrevid":71718459,"modified":"2026-04-14T00:05:30Z","type":"item","id":"Q2266034","labels":{"en":{"language":"en","value":"Alg\u00e8bres de Boole primitives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3893262"}},"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":"Q2266034$616CC425-D6F8-4559-9715-30C205517AEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8425fa522742fe68b93026badb32765f9c156538","datavalue":{"value":{"text":"Alg\u00e8bres de Boole primitives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2266034$2D3B2CB6-2AF0-4974-862C-AAFBF786E71A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0575cbc4b3146ff382a3fdeab2b06eb1eb06297a","datavalue":{"value":"0561.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266034$D7CA48AA-1488-430E-91CF-030745D549DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ce8d309a59dab103c75f6ee2db02ed5f4ec872e","datavalue":{"value":"10.1016/0012-365X(85)90133-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266034$ED92E8E8-FD05-4A3B-8EAF-1F424F9842B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52c4dbb35e00a3e708e9492e3dad4babe01bc8b2","datavalue":{"value":{"entity-type":"item","numeric-id":1288171,"id":"Q1288171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266034$0420F50A-F940-4404-A8B6-FCA051963BAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266034$FE7A1E99-200D-4C21-BB28-038ED19183AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2266034$B78C06D3-0081-4B69-B7EE-1FFF6446A14B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b7f5ae4ab324824e4faa92d97a33e47619619af2","datavalue":{"value":"The collection of isomorphism classes of countable Boolean algebras has the structure of a commutative semiring \\({\\mathcal B}\\) with addition induced by the categorical product and multiplication by the coproduct. The additive structure of \\({\\mathcal B}\\) is very complicated. However, there are two important subsemirings \\({\\mathcal P}\\) and \\({\\mathcal F}\\) in \\({\\mathcal B}\\) whose additive monoids are fairly tame. They correspond to the quasi-primitive algebras introduced by \\textit{W. Hanf} [Proc. Symp. Pure Math. 25, 75-90 (1974; Zbl 0344.02041)] and the smaller collection of finitary algebras that were defined by the reviewer [Compact zero-dimensional metric spaces of finite type, Mem. Am. Math. Soc. 130 (1972; Zbl 0253.54028)].    In this paper, the author shows how to recover the semiring \\({\\mathcal P}\\) from the collection \\({\\mathcal V}\\) of isomorphism classes of primitive algebras, that is, pseudo-indecomposable algebras all of whose principal ideals are products of pseudo-indecomposable algebras. The collection \\({\\mathcal V}\\) is characterized as a particular commutative monoid with distinguished antisymmetric, transitive relation \\(\\triangleleft\\). The semiring \\({\\mathcal P}\\) is obtained in the form \\(\\omega\\) [\\({\\mathcal V}]/\\theta\\), where \\(\\omega\\) [\\({\\mathcal V}]\\) is the semiring analogue of the group algebra of (\\({\\mathcal V},\\cdot)\\), and \\(\\theta\\) is a congruence relation on \\(\\omega\\) [\\({\\mathcal V}]\\) that is described in terms of \\(\\triangleleft\\). This construction generalizes the corresponding description that was given by the reviewer [loc.cit.]. The author introduces an important class of Boolean algebras (well founded algebras) whose semiring \\({\\mathcal W}\\) of isomorphism types is between \\({\\mathcal F}\\) and \\({\\mathcal P}\\). He shows that \\({\\mathcal W}\\) enjoys most of the good properties of \\({\\mathcal F}\\). In particular, the system \\({\\mathcal F}\\cap {\\mathcal V}\\) can be characterized by simple arithmetical properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266034$5A580D87-D7E6-4824-A9C8-1698AF039D3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266034$DD7536DF-ED2B-4291-A246-C15554E9DD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266034$F977153C-E96A-43EF-AECE-6948C7CCB0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266034$67473BED-ABB9-4171-80EC-04E3ED1A1050","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7190e5a572baa9a2a426e12d341d1590938b4fd0","datavalue":{"value":"3893262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266034$B73B77FE-BF37-453B-8D89-8E263887033B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63f04e7c135a5ca704d6fa8e8c1e205585487781","datavalue":{"value":"isomorphism classes of countable Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266034$ADBC5E8F-C2B8-4010-8BF7-76122233C038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278ea00ba0ffc1d94de8bc482037e907536effa5","datavalue":{"value":"categorical product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266034$19FF3774-AF39-433B-8CA9-A87CA01AB25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0547e7111e7be5e072410bed193167984a645c6c","datavalue":{"value":"coproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266034$EC52618C-89D9-4960-A563-DA3B2F4C966D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1eabde856a1589e5bf1fae94cc95e8004e22f00","datavalue":{"value":"quasi-primitive algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266034$B341075C-E9C6-493B-8B40-16AB86194E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8bd56736fafd4682746f8dfd3a446a54243109f","datavalue":{"value":"finitary algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266034$5743BE2F-9257-4F37-A3F7-165C5F9C0605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7192f1864fe78425a74148f5949a7c4bd4b56ae1","datavalue":{"value":"isomorphism classes of primitive algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266034$6EF050BD-E97F-4D85-BFA7-F04ABA8BBE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db0bda48db1a5cd4555084577b073ac11f2a090b","datavalue":{"value":"pseudo-indecomposable algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266034$70F24FD5-8FB8-4F50-91D8-343BBCE4D197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a4a82b30108816ad425f7acd5d56518a849c02b","datavalue":{"value":"principal ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266034$1CE4F4FA-B29D-4D97-B6DB-E2FAA11F1DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007c72a86e8563e4101dd6986b20d2e71c9117fd","datavalue":{"value":"semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266034$3E2C3AEC-7F33-4EA7-8694-891DE813E040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7644f1f619e2912b00ecf99356c07efcd951fb03","datavalue":{"value":"well founded algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266034$6A2FAB32-3E07-4A8B-9A82-EDB62C3FA456","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":"Q2266034$F320B0D6-02FA-459E-B2AD-49F350F8A37B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a673666c170ec7e9f4c7564acfbff10b528a18f2","datavalue":{"value":{"entity-type":"item","numeric-id":1144059,"id":"Q1144059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266034$A7384B40-ED4C-4BA6-98C9-E5E844C10397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"818b02fc32b069f211c853797d4f8a56a125bee2","datavalue":{"value":{"entity-type":"item","numeric-id":4111555,"id":"Q4111555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266034$2E259D33-B4A2-4784-9A49-33CE45D171F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd53a3c4ffe0a63953f48d21c3815dfadcb0bcfb","datavalue":{"value":{"entity-type":"item","numeric-id":4079655,"id":"Q4079655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266034$C2A20239-A9C7-4E76-B1BB-E0A74A3C958B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1d104b128c907e29e17b5153d68d3d41f6b7a2","datavalue":{"value":{"entity-type":"item","numeric-id":4079656,"id":"Q4079656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266034$85AED6C9-F315-4753-9F7B-96708551CCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4391a685b133fad54005be4d8e7ae19f387b74","datavalue":{"value":{"entity-type":"item","numeric-id":755600,"id":"Q755600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266034$7A3AE97E-796D-4B33-BBEE-251FC1440004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f067426f1a6a3b3bc6aad987813b4105a8b5d6","datavalue":{"value":{"entity-type":"item","numeric-id":5667240,"id":"Q5667240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266034$4A6F6046-F30B-482F-A80C-DA722E9D46E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2391e184ea4110fb784916cb1c9ee0bea4af657","datavalue":{"value":{"entity-type":"item","numeric-id":1228493,"id":"Q1228493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266034$3FB033CD-6C55-457E-8C3C-C4F51BC6A8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f256fdebcfb124485dd249e269d32abae34c328","datavalue":{"value":{"entity-type":"item","numeric-id":4053715,"id":"Q4053715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266034$85ADEF46-240C-43C6-9ACE-BBC1EFF6D98B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf8ab6212ff9d23f4a4aa1cf4e7d22155a0b740","datavalue":{"value":{"entity-type":"item","numeric-id":3618742,"id":"Q3618742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e28cbefbaa1ff0691b29d19b4a8ee0c3b83c8a67","datavalue":{"value":{"amount":"+0.8379985690116882","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":"Q2266034$52FD0388-2378-4DA0-AAD7-F6892914ACE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c2fcc8b632d3bbc21292630f1a183e0ed079c9","datavalue":{"value":{"entity-type":"item","numeric-id":3824459,"id":"Q3824459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338a10e68de1ffa38a16147c56ab270694d77b3e","datavalue":{"value":{"amount":"+0.8237822651863098","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":"Q2266034$5B0A3AE3-E6BF-41B3-A376-3BB568399B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e562d828a50b9bf66e73245c748eaa908425b88","datavalue":{"value":{"entity-type":"item","numeric-id":4808467,"id":"Q4808467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383492d85e4fe90fd9b496ffb6fd0533edd37dc6","datavalue":{"value":{"amount":"+0.783160388469696","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":"Q2266034$1531B6FB-52A5-4D62-BF89-ABB9870C3264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea1a1fbcc8ffa5143184a5fffd6dddf8acabf7a2","datavalue":{"value":{"entity-type":"item","numeric-id":3315562,"id":"Q3315562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf275a4d334fbddd50d205df66596811bb03a3d","datavalue":{"value":{"amount":"+0.7646386027336121","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":"Q2266034$5419958B-7605-40E1-B2B4-4CD93639189E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4869342100d5f7892c4ee03af0a27f48f43d5de","datavalue":{"value":{"entity-type":"item","numeric-id":3329459,"id":"Q3329459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f28fa4870f733fc3df61a5a4ed800cd64d4c0f","datavalue":{"value":{"amount":"+0.7585030794143677","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":"Q2266034$F50696FA-7FCD-4343-831C-5072743C189D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alg\u00e8bres de Boole primitives","badges":[]}}}}}