{"entities":{"Q2396026":{"pageid":2406769,"ns":120,"title":"Item:Q2396026","lastrevid":48643840,"modified":"2026-01-05T11:46:41Z","type":"item","id":"Q2396026","labels":{"en":{"language":"en","value":"A theorem of Sierpi\u0144ski on triads and the axiom of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3217877"}},"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":"Q2396026$DAE8FE35-1352-46AF-80B3-BEF4630DAA9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aee3a02ceae302915294f59e2f37bcf8d97dc99c","datavalue":{"value":{"text":"A theorem of Sierpi\u0144ski on triads and the axiom of choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2396026$9D3A3AE3-B025-4BFD-9710-23B8C28B565B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"201dbafa05d10908a079ad1349f2c0dfa622cf2d","datavalue":{"value":"0134.24804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396026$F3C1CCB3-FF78-4817-A8CB-739CA5D6FFF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ea26df8b8a0a503ffcd35a6f10f5983c38f8abb","datavalue":{"value":{"entity-type":"item","numeric-id":758990,"id":"Q758990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396026$667A0C55-659B-42A9-9FE7-34B85575D8F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2396026$FAC0FA97-7232-4D98-A2F0-853141C70B9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"804e23327f0ab182053e3ef9eb82baf008dc7187","datavalue":{"value":{"time":"+1964-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":"Q2396026$1698591C-02AA-41B8-AC8D-3315397F2305","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b48c361ba8328bd09218d82ab64379e31ff130f5","datavalue":{"value":"Sierpi\u0144ski has proven the following Theorem S: If \\(E\\) is an infinite set then there is a family \\(F\\) of three-element subsets of \\(E\\) such that each two-element subset of \\(E\\) is included in exactly one member of \\(F\\). The author shows that Theorem S implies the axiom of choice, as follows:   Given an infinite set \\(M\\), consider \\(E = M\\cup \\aleph(M)\\) (Hartogs' function). Take \\(F\\) as asserted in Theorem S. Let \\(P\\) denote the set of all two-element subsets of \\(\\aleph(M)\\). For \\(m\\in M\\), let   \\[ P_m = \\{x\\in P; \\{m\\} \\cup x\\in F\\}. \\]   Then \\(P_m\\ne 0\\), all \\(m\\in M\\) [the assumption of the contrary leads to a one-one map from \\(\\aleph(M)\\) into \\(M\\)]. Furthermore, \\(P_m\\cap P_n= 0\\) if \\(m\\ne n\\). Since \\(P\\) can be well-ordered, there is a one-one map from \\(M\\) into \\(P\\): \\(f(m) = \\text{ least element of }P_m\\). Therefore, \\(M\\) can be well-ordered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2396026$1796C2B9-F4FF-4F66-B21F-14FD5005993C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396026$43D7AA38-D5BE-4BE3-9420-48A2C7B070CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af24fd10db8e85b093f269e88fa46c573747893a","datavalue":{"value":"3217877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396026$AE4DB817-62E1-4815-BB0D-78D19BB82EDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2396026$977A6DE4-A85A-4C4B-84F5-7CA402B86E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95399cc06a7dab4b78da99a737972ce0d7ed2fc7","datavalue":{"value":"triads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2396026$A98C600E-E743-42AC-9AE0-ECA4E6A60808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2396026$F317E43E-530C-42A4-9C27-3E1D9CE9A4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1ae3941aa6b53689032ecf1ce00b36b949a7ecf","datavalue":{"value":"Sierpi\u0144ski theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2396026$3A32506C-08BE-45C2-AFC0-39777F5F36DA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7cff21c78080c7849bc292faf26f8058e2df840d","datavalue":{"value":"Q114598183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396026$F826AA6C-273C-4A88-9664-AB32136263F8","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":"Q2396026$83D169EE-17DD-473B-BC61-3123C3C288A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d56ed873691754bf23b93292f163ebc6c395a28","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093957738","type":"string"},"datatype":"url"},"type":"statement","id":"Q2396026$EEDA4303-1A99-480F-9454-67BC2BB07E10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c57d23667e54e80015dd0e2fc9a8846731c2cb84","datavalue":{"value":"W2028210947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396026$B84C01FF-FC90-4E73-96AB-6B6BC18A8D73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5367a661466b57855c7a75aeba2800f477ac3bb9","datavalue":{"value":"10.1305/NDJFL/1093957738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2396026$5893FC30-AC6D-40B6-9A8A-3FDDE8FCA3EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8948e432f33ccd1a5627506c32cee942df68c2d4","datavalue":{"value":{"entity-type":"item","numeric-id":4417745,"id":"Q4417745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3edf29323f1c6c4d939641c75ed7f363a4a42f4c","datavalue":{"value":{"amount":"+0.7782498598098755","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":"Q2396026$DB780DF5-8EC2-4B08-89D6-AB62F8CBF8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0783245691329c3ece7f9d9fc4c13332665b10c","datavalue":{"value":{"entity-type":"item","numeric-id":2539643,"id":"Q2539643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3edf29323f1c6c4d939641c75ed7f363a4a42f4c","datavalue":{"value":{"amount":"+0.7782498598098755","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":"Q2396026$E32FC13A-FC87-4108-8732-300C82F34BC0","rank":"normal"},{"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":"5ebbdcbeaeff36570e7ee340264a3e028a0d7a4c","datavalue":{"value":{"amount":"+0.7241204380989075","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":"Q2396026$2C3D3363-6A29-43B8-9A5E-9B474AC6A1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6760f18b3f6ce3e898e4cdbba98b4039e35156f2","datavalue":{"value":{"entity-type":"item","numeric-id":5403512,"id":"Q5403512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b08c43e1fb5fd944a6faad1b89ac43d8c1144c2e","datavalue":{"value":{"amount":"+0.7232317924499512","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":"Q2396026$B659C493-A9AC-4F0C-B267-42E79BFF3E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"981ffb0568eb48072e9915d2a077d13fc7992035","datavalue":{"value":{"entity-type":"item","numeric-id":1187546,"id":"Q1187546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4df1346481760b752f2f9e64dfdf813cd3e7a173","datavalue":{"value":{"amount":"+0.7106009721755981","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":"Q2396026$B1292092-F017-458E-A77E-23F271DA7B63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2396026","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2396026"}}}}}