{"entities":{"Q1905985":{"pageid":1916727,"ns":120,"title":"Item:Q1905985","lastrevid":73294245,"modified":"2026-04-14T15:18:59Z","type":"item","id":"Q1905985","labels":{"en":{"language":"en","value":"On the relative strength of the representation theorems for \\(l\\)-groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 836820"}},"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":"Q1905985$7F545195-13CC-41B8-A08D-E733060B0E17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0ea3462f9c73bc5f0a7faf990a57c20b27ec5fc","datavalue":{"value":{"text":"On the relative strength of the representation theorems for \\(l\\)-groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1905985$3596BD81-DDE2-4798-A592-B641CA3E70E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45df637c668199b111f38cb2108cc06bd13b400c","datavalue":{"value":"0869.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905985$F36E5288-A904-4B0F-ABEE-D104F445CE5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31fa594454ac536a871452f9fffab56eda2997e3","datavalue":{"value":"10.1007/BF01182094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905985$802335AD-C089-4FEF-873E-CA0F6EE1A36A","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":"Q1905985$D5FC1255-419E-4F5F-A095-CFE572658006","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"969b097b704dd3f2a213d901e804a3f90e3b7c8f","datavalue":{"value":{"time":"+1997-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1905985$851A2E94-53F6-4F89-AB75-FD6963E40FCA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1653ce163320e181636e29a9aee8bd762cc60b02","datavalue":{"value":"One of G. Birkhoff's fundamental results in universal algebra is that every algebra belonging to some variety is isomorphic to a subdirect product of subdirectly irreducible algebras belonging to the same variety. This theorem is, in the general case, equivalent to the Axiom of Choice (AC) in Zermelo-Fraenkel (ZF) set theory. However, for particular varieties, it is weaker. For example, in the case of Boolean algebras it is known as the Stone Representation Theorem and is equivalent to the Boolean Prime Ideal Theorem (BPI), strictly weaker than AC.   The work under review discusses the relative strength (in ZF) of representation theorems for various classes of \\(\\ell\\)-groups. In particular, it is proved that the Birkhoff Representation Theorem for the variety of representable \\(\\ell\\)-groups, a weak version of Bernau's Representation Theorem for Archimedian \\(\\ell\\)-groups, Keimal's Representation Theorem for hyper-Archimedian \\(\\ell\\)-groups, and the Holland Representation Theorem, are all equivalent to BPI.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905985$6CF19161-1706-403F-BBD9-4C7108A26972","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905985$C55C3C5A-67EE-4757-9576-60007505EF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905985$AA73B281-7B46-49A7-B85D-17A7A13E13A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905985$711334E0-BC5E-43B9-8A14-EFB950158E56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae9c6715ab78097e0a3a31e80483f21e459d0254","datavalue":{"value":"836820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905985$2AE24876-F9B8-4175-9D68-C6EBCA22F094","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c222d2154c724462abd633657d9386ca4ec975ff","datavalue":{"value":"Zermelo-Fraenkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905985$9F254D86-CD8D-48CC-8891-0FC9526C544F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f4e7b5fc5885b76acb8e8996a839b887be83e74","datavalue":{"value":"subdirect product of subdirectly irreducible algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905985$39FF0D74-10E7-499E-B92F-3FB3410D29CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6e8f0135155ab4b5b70617b5808eb6746561557","datavalue":{"value":"Boolean Prime Ideal Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905985$16E98C44-6CE1-495C-8855-09D8B6004285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b90f802846dbf17eee6abc09357a4ec11a4f980a","datavalue":{"value":"relative strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905985$5979EC99-F3BF-4F52-805C-6D977F6BDF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2f97dec6bff53205bf55123a75220dbaed2a75f","datavalue":{"value":"representation theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905985$153DD689-4B14-48A6-A779-EF5FED72F3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34948eebd7ff58cab9a2d33db41b6c9508aec069","datavalue":{"value":"classes of \\(\\ell\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1905985$F299DC32-53AC-4D6B-B2D1-BD32508DF85C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc9f253c9bd97a65ef24ecc0b5f7393848028ff1","datavalue":{"value":{"entity-type":"item","numeric-id":1205167,"id":"Q1205167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905985$597C603E-ACEA-409C-A6A4-8356C55B2700","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9d66e90f972a7f51f6383d3d2a8f96ff1d055d08","datavalue":{"value":{"entity-type":"item","numeric-id":924946,"id":"Q924946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905985$5C7F9A7D-198D-4FEC-8755-52B16EA6C8B3","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":"Q1905985$E35C10C4-FEA6-4C5C-910E-2F0DADCED9B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc12852c03e47e8962f7c13c13ab61a3d46c956","datavalue":{"value":{"entity-type":"item","numeric-id":4039742,"id":"Q4039742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905985$648F25F8-E72C-4500-8584-C8875B5D9910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b55ade248c576bcbf7f3ddbdb94d9130c61169fc","datavalue":{"value":{"entity-type":"item","numeric-id":5332633,"id":"Q5332633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905985$7F32B6FA-F1B2-4E18-AD40-1FAFC0AF4163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4254c509a6de55f6c6d5ff37fd4e3cb8ced439","datavalue":{"value":{"entity-type":"item","numeric-id":3490053,"id":"Q3490053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905985$B2F7E1E9-190A-4F64-8D89-3FF5F55CE4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47364800a9736037a77157c1ddd87af0901a275f","datavalue":{"value":{"entity-type":"item","numeric-id":4283071,"id":"Q4283071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905985$F1BC9938-CD9C-4F13-9821-43E174FEF340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a8e82c79c33435376fa76f01c02bc414d620840","datavalue":{"value":{"entity-type":"item","numeric-id":1820782,"id":"Q1820782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905985$3264742C-6358-4613-8DA4-1F9BF8EA8022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78e74fb22366df2b5034dd9e49d22b7da36641d3","datavalue":{"value":{"entity-type":"item","numeric-id":2625704,"id":"Q2625704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905985$4B484A89-9232-4792-A412-95DC7EDB8872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1905985$1EEB8F38-3E17-44DE-9E11-9F3F6FAB1648","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b65ae6e724a2d5edc84a12d75ee9ad2cdaaae66","datavalue":{"value":"https://doi.org/10.1007/bf01182094","type":"string"},"datatype":"url"},"type":"statement","id":"Q1905985$0C72F5A0-7AF5-44F6-8B5C-091654C153BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcad961cdf246194e9e2d43b28aab53e520f2205","datavalue":{"value":"W2042711970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1905985$E33F8E05-A0F1-4DBA-AED3-CBA156C58FB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a09c1b2507150bcd24818f011baee8256961f1a","datavalue":{"value":{"entity-type":"item","numeric-id":1820782,"id":"Q1820782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c9f26c5b64cbbcace3daea1fcbcc356ee44dbc1","datavalue":{"value":{"amount":"+0.8255537748336792","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":"Q1905985$2E71DFBC-882E-4CEC-A06A-9D74FAFA91B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f6af20d6710197dfff3afef1e2bb95f09a66a2b","datavalue":{"value":{"entity-type":"item","numeric-id":3490053,"id":"Q3490053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154d0c82888e5d365beb1c262a308c2d33eb9e1f","datavalue":{"value":{"amount":"+0.8133198618888855","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":"Q1905985$6F43A129-BAEE-4364-8141-F6AB5C14F432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee70189cce252c74a5d10c245e4581910fa22d3e","datavalue":{"value":{"entity-type":"item","numeric-id":4314680,"id":"Q4314680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52368ed76d23c69607a063eb4425ac3141da905a","datavalue":{"value":{"amount":"+0.764072060585022","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":"Q1905985$5BBDB048-821A-4204-84C6-D5118140ADDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"447aa0ca5a1459379708041fe4fc45495f02a98e","datavalue":{"value":{"entity-type":"item","numeric-id":4508245,"id":"Q4508245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225085903a0c9ae1cc0431deffcb06caa5a6b8d8","datavalue":{"value":{"amount":"+0.7638066411018372","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":"Q1905985$4EE79610-8FF4-4221-80EF-904B34648A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac38d13a9f43df4c201ac5205acf8b9daef0cad","datavalue":{"value":{"entity-type":"item","numeric-id":4877716,"id":"Q4877716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a46ddf3ad968023a0555395e13a7ff30aa386f2d","datavalue":{"value":{"amount":"+0.7634742259979248","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":"Q1905985$19A61073-4EC2-434E-BDD5-E8C158E5B119","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the relative strength of the representation theorems for \\(l\\)-groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_relative_strength_of_the_representation_theorems_for_%5C(l%5C)-groups"}}}}}