{"entities":{"Q1187546":{"pageid":1198295,"ns":120,"title":"Item:Q1187546","lastrevid":67070214,"modified":"2026-04-12T14:49:07Z","type":"item","id":"Q1187546","labels":{"en":{"language":"en","value":"A note on some weak forms of the axiom of choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 39466"}},"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":"Q1187546$4DC0EF17-49DE-4FA4-998E-365A62095B9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"862b2227776309e838089b6591cad01d65338b71","datavalue":{"value":{"text":"A note on some weak forms of the axiom of choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187546$9FBBEA7E-A986-4E09-AF1D-CF99727CA4D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d61efb26ab073f5969ba01ae9b017f010f0d9dbf","datavalue":{"value":"0760.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187546$B98F9E8A-D762-4717-889F-EB99ACC18595","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"542544599789116f88be9d018c3ae87a65e3129f","datavalue":{"value":{"entity-type":"item","numeric-id":807615,"id":"Q807615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187546$7205E008-996B-4996-8EED-99ECA11FAAFC","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":"Q1187546$FBE3E014-F58C-47B6-ACD2-A26AD0DF01CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e4d962d2dc96d2f5a9a4662218fd9d693008ec8","datavalue":{"value":{"time":"+1992-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1187546$EF8EEF52-BDBB-4FB7-9A83-4F6C513AFE8E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f8cc8fed8398f8af1bfcd3de1dbcf11f24878f19","datavalue":{"value":"The author shows that in ZF the following assertion implies the axiom of choice for well-ordered families of nonempty sets (and thus is equivalent to it in view of a theorem due to \\textit{P. Erd\u0151s} and \\textit{A. Tarski} [Ann. Math. (2) 44, 315--329 (1943; Zbl 0060.12602)]): If \\((T,\\leq)\\) is a tree of height \\(\\lambda\\) (a well-ordered cardinal) which has fewer than \\(\\lambda\\) branches of height less than \\(\\lambda\\), then one of the following holds for the reverse tree \\((T,\\geq)\\): (i) there is a chain of cardinality \\(\\lambda\\); (ii) there is a strong antichain of cardinality \\(\\lambda\\); (iii) for some \\(\\kappa<\\lambda\\) there is no strong antichain of cardinality \\(\\kappa\\). Here a strong antichain is an antichain of \\((T,\\geq)\\) which has at most one element from each level of \\((T,\\leq)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187546$43E0B8BF-4E1C-4926-9D8F-8565AF04C88E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5fd9f3f0b8e3bd4ab7545fc7b132020a15f97f0c","datavalue":{"value":{"entity-type":"item","numeric-id":793376,"id":"Q793376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187546$EFA2FC5B-5677-4096-A212-3D1F23DE7C6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187546$DB24DCD8-DC28-4129-867D-C7193B1C1864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187546$45D78A7C-EF6B-44C6-AD69-0544F91BC936","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"078ff84f203a8285e277a8c7e824dfd619adf6ab","datavalue":{"value":"39466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187546$E7F0D971-CE1E-4D3B-9AEB-21A460909A3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4c3c4fc44d63cb8c344c4e2353a5bdc650c647","datavalue":{"value":"wellordered choice principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187546$9871D82C-DA02-41F3-A869-F1E1CBF6125A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e3375879bd291e13b4dab794b2274356ae15d2","datavalue":{"value":"axiom of choice for well-ordered families of nonempty sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187546$31E6112A-DBC8-46E8-9246-890EF2DD75BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534805fa6153b1b3786edcd60407ef0861005e9a","datavalue":{"value":"tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187546$171E6D25-D94D-4EA1-BC4E-5BE6A178BCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10e41450159c7fa8d078c6f8c754ce4ec9c53a25","datavalue":{"value":"well-ordered cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187546$A379B639-A59D-4859-AB5F-EC466659D84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fa3723f19d05e105b35565273c49c2780f85493","datavalue":{"value":"reverse tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187546$3E102273-9A26-4769-B4D4-2C50BE744DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe92ce6b1217d72347a84c91d261bd4f104f7e13","datavalue":{"value":"strong antichain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187546$1539F765-DDE5-4217-B8B3-BD0460610C0F","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":"Q1187546$2035B947-715D-4C8C-B0C5-CB4CD38B022D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcc0d494c13e0aa97ebffd08705e7dc044a7979f","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636018","type":"string"},"datatype":"url"},"type":"statement","id":"Q1187546$B1A91F36-893D-4372-B922-3245F19AF6B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"951a467e0f4d3167d049a7da877b43eeef516d65","datavalue":{"value":"W2036646171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187546$1B51B736-E409-409B-9D7C-D2DB294EF154","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a8c37c6e8265d7d62910b0473230ab63ad9ebcba","datavalue":{"value":"Q114598313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187546$40AA6B78-8BBE-4C6B-AA62-65E36342A44A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"624db352b038016b6bebc57b90e694d75747d3aa","datavalue":{"value":"10.1305/NDJFL/1093636018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187546$9BB1D43E-5F9F-49D0-896B-212C61E0E9E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c435f299120b4aae2d8396ee6775b48f088b76a","datavalue":{"value":{"entity-type":"item","numeric-id":4496324,"id":"Q4496324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"676e2e7e7a9e93ebed46e03f7b87cd5dc1654456","datavalue":{"value":{"amount":"+0.8112338781356812","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":"Q1187546$7B6EC96F-06A4-4DE5-9016-E76183A26F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec76e42ef0896a00bc9b4186c2625c4e348245b5","datavalue":{"value":{"entity-type":"item","numeric-id":3329454,"id":"Q3329454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cea5ff70353cb06bdd8880cafbfd7c269afaae0","datavalue":{"value":{"amount":"+0.7937357425689697","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":"Q1187546$B1FA0A5C-6B53-4A3F-AA9D-40ADD8B1F7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b269630f1463679c825e6f0d64aa3c30f995c3b","datavalue":{"value":{"entity-type":"item","numeric-id":4379927,"id":"Q4379927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d890d09e3cce0a8dcd9be318087f526ce31c1354","datavalue":{"value":{"amount":"+0.7785876989364624","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":"Q1187546$A5A67887-357D-4C20-8F17-C6EBD7C39642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792cf3c7b663b2c547a2d4bf93ad7a1a49f298f8","datavalue":{"value":{"entity-type":"item","numeric-id":1115430,"id":"Q1115430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3bf7ecfc398b316fc9dc727cc8d85f8903d951f","datavalue":{"value":{"amount":"+0.7783909440040588","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":"Q1187546$F316C926-2A5A-4E52-823F-89C2CC666249","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on some weak forms of the axiom of choice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_some_weak_forms_of_the_axiom_of_choice"}}}}}