{"entities":{"Q2338588":{"pageid":2349331,"ns":120,"title":"Item:Q2338588","lastrevid":43910523,"modified":"2025-11-17T12:50:52Z","type":"item","id":"Q2338588","labels":{"en":{"language":"en","value":"Dilworth's decomposition theorem for posets in ZF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7134812"}},"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":"Q2338588$88117656-E9ED-45A1-B0D0-E3ADA73BFCFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b52c379b95c2bdd0e690e715ccccdb63fd6346b5","datavalue":{"value":{"text":"Dilworth's decomposition theorem for posets in ZF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2338588$2311A522-A420-4A22-8F93-29ECE6BE9F18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"558f63ee5625117ba7664f3e9e841d250d4e6396","datavalue":{"value":"1449.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338588$0D5E2B0E-0182-480E-B4F5-AB870BDB7E80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50f303799cab122deffb07d136620bb6246c179e","datavalue":{"value":{"entity-type":"item","numeric-id":283107,"id":"Q283107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338588$84DFBD03-DB95-495A-A170-AECFC5BE3D1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338588$A30EE63E-1EA9-47A5-B6D7-B9EFC09DC7C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df8a8a76ae09508c8444c01bbacb33e3edfbee9a","datavalue":{"value":{"time":"+2019-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2338588$A2927E30-7039-4E9D-A9D2-638D54E52A49","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"885349d223fae4159646d02103887c8b6276f9f5","datavalue":{"value":"Dilworth's theorem (DT) is the following statement: If the maximum number of elements in an antichain of a poset \\(P\\) is a finite number, then it is equal to the minimum number of pairwise disjoint chains into which \\(P\\) can be decomposed. DT for finite posets is a theorem of ZF. DT is valid in ZFC, but DT does not imply AC in ZF. The Boolean prime ideal theorem (BPI) implies DT in ZF but BPI is strictly weaker than AC in ZF.  In this paper, the author shows DT using the propositional compactness theorem which is equivalent to BPI. Further on, he shows that BPI \\(\\rightarrow\\) DT is not reversible in ZFA.  The author is interested in the strength of DT with respect to variants of AC. He proves that the axiom of choice for well-ordered families of non-empty sets does not imply DT in ZFA. This is done by introducing a new Fraenkel-Mostowski model.\\par He also shows that DT does not imply Marshall Hall's theorem in ZFA.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338588$F18D6A10-0428-4EB5-864F-5540DC372A8F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2338588$AE454BF4-7C20-4ABC-9550-41B0766B5EE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338588$97A335A9-A285-42FD-9C92-7124B0F2DEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338588$2F9F0058-B01E-4104-99FD-961403F32637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338588$F6E44C96-186F-42F0-87F3-FBBF2AD98902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338588$7421B9B9-6245-4881-9453-1C87056F5C5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fe69a71a09a9b2129666bc91c575d524d7f91a1","datavalue":{"value":"7134812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338588$5E4251BC-C741-4709-9807-7D60BC99367D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338588$F69D1327-8E65-448E-8EC8-0352311F6ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b6a6655d78fb1599b2ee2c8eacb2e0666dee97","datavalue":{"value":"weak axioms of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338588$AE56E4A2-7B11-42A1-8778-AA012523E6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4d09e438694ec4bbdcb420829405ba32befaca3","datavalue":{"value":"Dilworth's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338588$8E95F746-B706-4CD6-AA9B-D881B65128D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"300ad653d54b9b501754bebdbd47ba28ca513ce5","datavalue":{"value":"Fraenkel-Mostowski permutation model of ZFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2338588$C451CADE-6091-4EB8-BCBF-C15B6666103F","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":"Q2338588$810DEE0E-A322-499E-9B0A-631719F65497","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7c3fd415d0194b419fd7395aa6f60a5628af845","datavalue":{"value":"https://doi.org/10.1007/s10474-019-00967-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q2338588$6CBD1627-8C0B-421E-B4CF-ADCA7943CE6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cef63edf49e4966d64aa31a092f1460d1b17bae","datavalue":{"value":"W2953922146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338588$BD773342-EBA1-42DA-BA63-91A320CB40A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89e04eca06cd9ddb7a10168c9535314404c8e097","datavalue":{"value":"10.1007/S10474-019-00967-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2338588$84EB5477-52D0-4642-8DBB-C01D4069553D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b93d5df0076a30d650e9eff5059a7de7d7a54900","datavalue":{"value":{"entity-type":"item","numeric-id":402633,"id":"Q402633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f675c4b04c25a5ad2febbf3d7d6b6eb75bcb3e7","datavalue":{"value":{"amount":"+0.88505656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338588$B1367AAB-A1A4-4541-813F-14A65855C80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5a2ec66fb6aa1834f055be51aa44f5b08ca7831","datavalue":{"value":{"entity-type":"item","numeric-id":5195547,"id":"Q5195547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1297ac424348d0a05a0d9171a256e373fe58444","datavalue":{"value":{"amount":"+0.87840354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338588$95429C85-4F0F-46D2-9390-37F04BD25BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8137a06ee7e52e0c0f9d31308d8f1c5077973c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4211028,"id":"Q4211028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c1918fda63f14215ef50df05c3c4dbcfd60696e","datavalue":{"value":{"amount":"+0.87826496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338588$E186F551-0734-48CF-8E2E-1985AD2AECAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6717d816214d6be5bc27e1475ce5ff547c9cb64f","datavalue":{"value":{"entity-type":"item","numeric-id":5690098,"id":"Q5690098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38bbcb3082cfb8a72fbf7193fc1facaf9ccc3f78","datavalue":{"value":{"amount":"+0.8737362","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338588$FA98C690-7237-4D2F-9276-1F0928BFFEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a56bd558118e1c476e9c92f9b5f020d140009ae9","datavalue":{"value":{"entity-type":"item","numeric-id":5164536,"id":"Q5164536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708910e0e58717f9832927f86adc47ade8fd2711","datavalue":{"value":{"amount":"+0.87225056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338588$A6301FA2-EC11-4E85-8326-FF7179A57659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de58d7488f04104501428842678347ba7ea5e389","datavalue":{"value":{"entity-type":"item","numeric-id":1889770,"id":"Q1889770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4924ae55a856d7d7606f65573c3646492904808","datavalue":{"value":{"amount":"+0.87198913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338588$538C1639-3098-432B-801D-7E76A0442C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f82b8d1d8eea8bba9ffb35daeb8ec1d8a3f705a","datavalue":{"value":{"entity-type":"item","numeric-id":5717682,"id":"Q5717682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78aefa30474970509bcf23bf7aa7ae4b027d8b39","datavalue":{"value":{"amount":"+0.8713119","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338588$3F9C106A-EFD8-4C79-8813-3D64DE6DE583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da48c1f952009fa0b9c370113bf8f2cdb43cdfb9","datavalue":{"value":{"entity-type":"item","numeric-id":2457937,"id":"Q2457937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a4a8be5ae709b4c6f8ba1a0c9ee08c05b8d4b2d","datavalue":{"value":{"amount":"+0.87127906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338588$5A69EBFE-63D9-4D53-9674-E65E2B4CE9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93fc14dbfaef72199ae03a84fd782073e1e69a18","datavalue":{"value":{"entity-type":"item","numeric-id":1356527,"id":"Q1356527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a6030482ad75193ce74c71a2438c5a376795437","datavalue":{"value":{"amount":"+0.8710175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338588$AD2F4034-1B43-472E-ACE4-EE127BE68F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"371b2c1034f910c73f002e7b71607f4c36897306","datavalue":{"value":{"entity-type":"item","numeric-id":3573826,"id":"Q3573826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d2bca081ee16a8a3df99cd85927b73e1f12418a","datavalue":{"value":{"amount":"+0.8701483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2338588$FF2249E0-1D8D-4462-9642-07497929C52D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2338588","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2338588"}}}}}