{"entities":{"Q1109795":{"pageid":1120544,"ns":120,"title":"Item:Q1109795","lastrevid":69664299,"modified":"2026-04-13T08:33:37Z","type":"item","id":"Q1109795","labels":{"en":{"language":"en","value":"A minimax theorem for chain complete ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4070964"}},"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":"Q1109795$0880CEA9-CD88-449B-9E15-A2EA561BEB38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4356c7ff9814e68b131b4348156f9e95b195e255","datavalue":{"value":{"text":"A minimax theorem for chain complete ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1109795$1F7C7D9A-4D1D-491D-9D41-54FE848F3338","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce1cd768def4b2ad3f65bc67e5d45f6734cc505d","datavalue":{"value":"0656.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109795$A5EAF43C-3426-4CD5-A546-2953F51AC1CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6f9fbeeb992b2dd082d31e567459e57408cd622","datavalue":{"value":"10.1007/BF00143899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109795$E76A7D60-B0A2-4220-A730-EECB311D07BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8e4763e432b6ffd9ef1ff20256862696bdf24ca","datavalue":{"value":{"entity-type":"item","numeric-id":555495,"id":"Q555495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109795$C7A18A8B-55F9-4BBB-9F04-01F2E17A4085","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1109795$0D30CD13-0F7A-4B24-9AE8-957670DA7873","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1109795$6C6C6691-081E-421C-BFD6-FDD03371C5E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7b88a79ac28691fc3bcc9489570649e810384bce","datavalue":{"value":"A cutset of an ordered set P is a subset S of P which meets every maximal chain in P. For any natural number k denote P(k) and Q(k) the following properties of P. P(k): P contains at most k pairwise disjoint maximal chains; Q(k): P contains a cutset with k elements. It is clear that Q(k) implies P(k), but generally P(k) does not imply Q(k). The main result of the paper is that for chain complete ordered sets P(k) implies Q(k). In fact, the author proves some stronger result. For F a subset of P, let \\(C_ F\\) be the set of maximal chains in P disjoint with F and call S an F-cutset if S meets every chain in \\(C_ F\\). Let \\(P_ F(k)\\), \\(Q_ F(k)\\) denote the following relativization of P(k), Q(k). \\(P_ F(k):\\) \\(C_ F\\) contains at most k pairwise disjoint chains; \\(Q_ F(k):\\) P contains an F-cutset with k elements. Then it holds: If P is chain complete, then for any \\(F\\subseteq P\\) and any natural number k, \\(P_ F(k)\\) implies \\(Q_ F(k)\\) in P. The proof is technical and uses the Zorn's lemma. Futher, the following theorem is proved: If P contains one complete maximal chain, then P(1) implies Q(1) in P. Finally, some hypotheses about P(k)\\(\\to Q(k)\\) are added.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109795$EB1D5350-2D66-43B3-9CE9-5C143BE4F254","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109795$7D0E1F7E-450E-4F87-A595-F9A99808BA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109795$2995F609-16C9-4876-AC4C-AE2AB659C4E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4e5c34dc30f93430ec935a807bc3d2da65b1d60","datavalue":{"value":"4070964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109795$7C3892AE-BB6F-4610-8987-1C0C9A08023F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c76755b40378012473301226340484cbbecd869","datavalue":{"value":"cutset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109795$EEB0F098-4FD6-41E3-97DA-321F77FBEC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa11204b7a828e30d93c966a7037c580ecfef23e","datavalue":{"value":"maximal chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109795$8F306C56-A26E-482F-B63A-2A4FD0098FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"769a745e508c39cdd554b1b86159afb71ce8932f","datavalue":{"value":"chain complete ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1109795$B4A15F8A-192E-4EC8-BE62-4E2DD640DA16","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":"Q1109795$B1E062E3-7200-4DAC-B2F6-E9661CAFF827","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cde4aa3052a6218c7da0f855b066cc522cf612b","datavalue":{"value":"https://doi.org/10.1007/bf00143899","type":"string"},"datatype":"url"},"type":"statement","id":"Q1109795$C19B2E04-3A79-4DF1-B9D6-8D223A2D4006","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02b5f2405198c292dd2821c486a9529008efc0e5","datavalue":{"value":"W2069437574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1109795$EDD88387-935E-491A-A731-4989C76017B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af2aa2a24cb53d238d179b184c4cd95077428298","datavalue":{"value":{"entity-type":"item","numeric-id":3726173,"id":"Q3726173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeaa40fbf0668e82dc6e074629b4018cdb097c74","datavalue":{"value":{"amount":"+0.8279045224189758","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":"Q1109795$06CD4F01-9ED7-4390-9CAE-7573783E6FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"844702dec15f00623021f2a282adfce64557e2de","datavalue":{"value":{"entity-type":"item","numeric-id":584290,"id":"Q584290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e451d955e2d2fd841a7eea4e5ae8f8fde2a10fae","datavalue":{"value":{"amount":"+0.8261500597000122","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":"Q1109795$C553F100-0B17-4D69-88AF-28CF2CDAAF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fec08e6383011dc7da4723a27836b1490c907cb","datavalue":{"value":{"entity-type":"item","numeric-id":802580,"id":"Q802580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a542f710e369f418137577e480b7d591273ccfde","datavalue":{"value":{"amount":"+0.8256710171699524","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":"Q1109795$CAC53206-902A-4D0A-BB6E-BD13492AA203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a65fc84838f88dcecc79cab3e32aaf614338442","datavalue":{"value":{"entity-type":"item","numeric-id":3744207,"id":"Q3744207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35b782b14eb15c218bf49668ac9721b0fcb646b5","datavalue":{"value":{"amount":"+0.8233780860900879","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":"Q1109795$9FC52E4F-3F45-420E-8E47-40E1FD96842F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d721d95555e0efa2f4bc68d21c36367b5f1fb2d","datavalue":{"value":{"entity-type":"item","numeric-id":1123914,"id":"Q1123914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add9d85eb5c2ba01468341f74b0e585d0f667d77","datavalue":{"value":{"amount":"+0.8178114891052246","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":"Q1109795$6E6FD931-06F3-4684-95DA-3C910FD4EF4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A minimax theorem for chain complete ordered sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_minimax_theorem_for_chain_complete_ordered_sets"}}}}}