{"entities":{"Q1121877":{"pageid":1132626,"ns":120,"title":"Item:Q1121877","lastrevid":66814479,"modified":"2026-04-12T13:02:41Z","type":"item","id":"Q1121877","labels":{"en":{"language":"en","value":"Two new algebraic equivalents to the axiom of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4104943"}},"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":"Q1121877$1FF81972-A384-456A-BF2A-5CF9F7030D13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7227b4019dc76eccbc237805529737d6107b94a0","datavalue":{"value":{"text":"Two new algebraic equivalents to the axiom of choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121877$62D33214-E10D-46FA-891D-8442DBA193B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c2aeaf9676db4c1508e93e961ab611d2b5e02d3","datavalue":{"value":"0675.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121877$3F228562-70C9-4A5F-AC31-1BD1CDDBBCFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ffe5e153e7cd8e49fc0b7a9bef6b50719ab9da9","datavalue":{"value":"10.1007/BF01236864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121877$3E702728-6549-4569-AD60-D6028E6799D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70d87c6f62622d9a43b0c0bef6de01dedc67d682","datavalue":{"value":{"entity-type":"item","numeric-id":767465,"id":"Q767465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121877$82E2DEDC-913E-4E02-B2B9-8300E19825E8","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":"Q1121877$CC66E3CF-818E-481D-9E29-9140D5DA3087","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1121877$1107A9C3-8C79-4F95-86D4-B886278F111A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c8cfbd82a1ff4bd23b1c3b31cd55a3623fdc01e","datavalue":{"value":"A type \\(\\tau\\) for algebras is a set-valued function \\(\\tau =(K_ i)_{i\\in I}\\) on a set I. An algebra of type \\(\\tau\\) is an ordered pair \\({\\mathfrak A}=<A;(f_ i)_{i\\in I}>\\), where \\((f_ i)_{i\\in I}\\) is an I- family of \\(``K_ i\\)-ary'' operations \\(f_ i\\), that is, \\(f_ i: A^{K_ i}\\to A\\). If all \\(K_ i\\) are finite, then \\({\\mathfrak A}\\) is said to be finitary. If M is a nonempty set, then the axiom of choice for M- families, \\(AC_ M\\), asserts that, for every m-family \\((N_ m)_{m\\in M}\\) of nonempty sets, there exists a choice function h: \\(M\\to \\cup_{m\\in M}N_ m\\) with \\(h(m)\\in N_ m\\) for every \\(m\\in M.\\)    Theorem 1.2: If M is a nonempty set and \\(\\tau =(M)\\) is the type consisting of just the ``arity'' M, then \\(AC_ M\\) is equivalent to the assertion that every homomorphism of a \\(\\tau\\)-algebra \\({\\mathfrak A}\\) into a \\(\\tau\\)-algebra \\({\\mathfrak B}\\) maps subalgebras of \\({\\mathfrak A}\\) onto subalgebras of \\({\\mathfrak B}.\\)    The axiom of multiple choice MC asserts that, for every set T and every family \\((N_ t)_{t\\in T}\\) of nonempty sets, there exists a function \\(\\Psi\\) on T such that \\(\\Psi\\) (t) is a nonempty finite subset of \\(N_ t\\) for every \\(t\\in T.\\)    Theorem 2.2: MC is equivalent to the assertion that, for any finitary algebra \\({\\mathfrak A}=<A;(f_ i)_{i\\in I}>\\) and any generating subset M of \\({\\mathfrak A}\\), there exists a function h: \\(A\\to P_{\\omega}(M)\\) with \\(a\\in Sg^{{\\mathfrak A}}(h(a))\\) for every \\(a\\in A\\). (Here, \\(Sg^{{\\mathfrak A}}(h(a))\\) denotes the subalgebra generated by h(a).)    Some additional interesting consistency and independence results are too complex to be summarized here.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121877$A5C2C429-FA67-42C5-BCF5-99370B09A879","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121877$66E2EA72-D2A4-443D-8A40-276BAB017C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b12e8f01f06133a9720445e365c6f83b034a7e4","datavalue":{"value":"08A65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121877$3D68C524-BCE9-4CD8-BA1C-5B9A86316933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121877$D10A4D45-4436-45DA-A36D-CD229287A892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121877$3E81B4A7-8ED1-4EA2-952A-BEA94C3C1C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121877$ED386015-408F-4731-934F-8812A76D47C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9dc42f1ce5283af0a50e828dbcb25a806fd06ec","datavalue":{"value":"4104943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121877$47BE50BA-C071-4CAD-9CEB-CF7934C5B96C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121877$1A67FD6D-5E74-452B-A037-58CBE0BFF620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88346ab60801685d4af82b08912953ffca3b8c36","datavalue":{"value":"axiom of multiple choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121877$935C83B0-B7A0-4246-B56A-2ECB3E535C46","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"26f302fffad60805a47395a27a6584ad8a15a6e0","datavalue":{"value":{"entity-type":"item","numeric-id":587231,"id":"Q587231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121877$04CAD1EA-5E7F-462C-81A7-616EFC2629BD","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":"Q1121877$698334A0-3357-4BC9-AFB7-5052DE2491D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d71e9ed3596357041939f45f66a6bf3a2bb5ff","datavalue":{"value":{"entity-type":"item","numeric-id":3342567,"id":"Q3342567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121877$34719387-C0CF-46E0-ACCC-C65B455EA280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303006a3e4e5e98646de561005c1fdc12f06e3c5","datavalue":{"value":{"entity-type":"item","numeric-id":5675721,"id":"Q5675721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121877$7F63AF48-249B-481D-8B64-1E7179DBC979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"250846aba6ed59704dad27dc415815a8bf814042","datavalue":{"value":{"entity-type":"item","numeric-id":1142208,"id":"Q1142208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121877$80067EC6-9ACD-47A8-8695-3FD6EA6EF649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121877$D3292B42-CCDF-47FD-BC04-752383AB718E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ac503cdbf485c2aa24c9261b6c75a169cb5813","datavalue":{"value":{"entity-type":"item","numeric-id":2538137,"id":"Q2538137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121877$757DDE13-1F5A-4743-BE5C-279B32D3157B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5139333814cae6084ed55540bc3b40a4dd4ac7ce","datavalue":{"value":{"entity-type":"item","numeric-id":5344988,"id":"Q5344988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121877$32998C82-8F7D-4FF9-9C79-7BD711901C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de13997a8c7d510204b57d6e612d7b557f303155","datavalue":{"value":{"entity-type":"item","numeric-id":2646165,"id":"Q2646165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121877$30C83C60-DDEF-4D5A-A8F8-B2FD430F8D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55c99bca43a6dd85dd560ed5a768bfe991efb66","datavalue":{"value":{"entity-type":"item","numeric-id":3239379,"id":"Q3239379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121877$CD94D290-5207-42FD-8775-1A921D40C282","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"479407785c762d807f3c575e36c6c09db4e9c286","datavalue":{"value":"https://doi.org/10.1007/bf01236864","type":"string"},"datatype":"url"},"type":"statement","id":"Q1121877$8D9559A1-08D3-436D-91D5-0E01A4626CF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10562090cd4992ad0cbb2441ad138dd6a64e794f","datavalue":{"value":"W1974552507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121877$6D50B16E-7543-4CD7-B0E0-4F57735B8633","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2ba6ca988e5bc3e3f95e30341bf209b7080aefe5","datavalue":{"value":"Q114694005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121877$D5E931F7-92DC-46A4-9650-9D754253AF89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09418f257f8cfc65d3912c65752406e68469826f","datavalue":{"value":{"entity-type":"item","numeric-id":5344988,"id":"Q5344988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a4c18426ea4b5ce0ba8be87861e2e684d555a0","datavalue":{"value":{"amount":"+0.800228476524353","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":"Q1121877$39722F6A-52CD-45B8-B2E2-067F32A1D68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0d89d00d0ba12f0330dce56b73f23cddb79bc4","datavalue":{"value":{"entity-type":"item","numeric-id":1966142,"id":"Q1966142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c450d0234b30e45470edd7383ef5384a4619be","datavalue":{"value":{"amount":"+0.7749533653259277","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":"Q1121877$9BDE5696-DAC0-407B-AA00-4FCEE9C192F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68bbb903f90e69cb44110a9446c3baa90a353409","datavalue":{"value":{"entity-type":"item","numeric-id":1272251,"id":"Q1272251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e851aafebc545c77e8b53404c258cf5432b77e2e","datavalue":{"value":{"amount":"+0.7726731896400452","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":"Q1121877$7A6D0B2D-C34E-4C85-8E7A-121349A072EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca40db2dc3c833fb4a8036e7d0517372668861d0","datavalue":{"value":{"entity-type":"item","numeric-id":4510911,"id":"Q4510911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2776a56e01b7e319f282ced7be1d46016d5d0a2","datavalue":{"value":{"amount":"+0.7651340365409851","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":"Q1121877$DF9AA328-A31D-4421-B1B5-002E0F2B6B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5901199cf31d04bfe05692231d027a817de4f07","datavalue":{"value":{"entity-type":"item","numeric-id":1337156,"id":"Q1337156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2776a56e01b7e319f282ced7be1d46016d5d0a2","datavalue":{"value":{"amount":"+0.7651340365409851","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":"Q1121877$6C8A926C-12A4-44C1-B291-8B31BD00B1FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two new algebraic equivalents to the axiom of choice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_new_algebraic_equivalents_to_the_axiom_of_choice"}}}}}