{"entities":{"Q1123915":{"pageid":1134664,"ns":120,"title":"Item:Q1123915","lastrevid":80318105,"modified":"2026-05-06T15:55:23Z","type":"item","id":"Q1123915","labels":{"en":{"language":"en","value":"The Menger property for infinite ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4110754"}},"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":"Q1123915$56A93831-307B-41C8-BC13-1C0A211B0B7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3e8f41a0b7991b77c0c234f222aebbd142c6996","datavalue":{"value":{"text":"The Menger property for infinite ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1123915$4F1F748A-0C59-46B9-84AA-E55E010DD88A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75d35b5c54e5d95591125bb7e7a4b1c42888f697","datavalue":{"value":"0678.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123915$0A73E29A-880A-4D17-B4A5-3582235F6168","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7488df18da0a5fec60a5f0d2ad6532b4511313b","datavalue":{"value":"10.1007/BF00354897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123915$063B732E-A0A6-43EE-B8A5-E5DF369AEF4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78dbdee37fe54c4712db4a1dc1fbe22570dc2515","datavalue":{"value":{"entity-type":"item","numeric-id":1123913,"id":"Q1123913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123915$290156D5-7E02-4F95-8EAF-7514D7767417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65e0030acd98cbe4786cbae362aba391b5681a10","datavalue":{"value":{"entity-type":"item","numeric-id":186055,"id":"Q186055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123915$FD6849CD-7832-4B7E-BFEB-62BDFA7672DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f050d7429f1445acd3d9c3e3fe97add9db84e6f4","datavalue":{"value":{"entity-type":"item","numeric-id":186189,"id":"Q186189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123915$B4B3F863-F8B3-42E5-BFEF-3DA024015306","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":"Q1123915$D75952AA-A249-4E03-BF9E-C7D51652044D","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":"Q1123915$8B03E93F-8D2B-4C6A-BE44-66970D11B542","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"591673be0f41a8cb21237c56dc8364ec5dbc913f","datavalue":{"value":"For the definitions of cutset, disjoint family and Menger family as well as a statement of Menger's theorem see the review above (Zbl 0678.06001).    In this paper it is shown that if an ordered set P contains at most k pairwise disjoint maximal chains, where k is finite, then every finite family of maximal chains in P has a cutset of size at most k. This leads to the following Menger-type result that, if in addition P contains k pairwise disjoint complete maximal chains, then the whole family, M(P), of maximal chains in P has a cutset of size k. A direct proof of this result is also given. The authors then disprove a conjecture by Zaguia by providing an example that shows that the finiteness of k is essential.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123915$6D146197-4201-4015-A310-40EE0D769932","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123915$776750B4-2ED7-4872-B36C-FDA51FDFB2C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9018926628b94439384b8d783c6b19179087df0c","datavalue":{"value":"4110754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123915$A524C048-F514-460C-AE97-8E52B4ACE1E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c76755b40378012473301226340484cbbecd869","datavalue":{"value":"cutset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123915$92E02BAB-E41F-4999-91B8-F464093CDDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb01cb8dbee564975e21765b96f75e1a835ed38c","datavalue":{"value":"disjoint family","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123915$5D17BEE4-ACB3-46B6-9657-DBD167455EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"437cbcad31b4362bd7f87dd9964404923edcd2b6","datavalue":{"value":"Menger family","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123915$D329B987-FC47-4E15-9295-E1A72FB02CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb4fe43c673d973685fe281c0abe3bf00e99d46","datavalue":{"value":"Menger's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123915$1FE4E254-C592-4A39-A023-AE38A09D7F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"668348acc5860422d526ce5535a8d2ac3bb54db4","datavalue":{"value":"maximal chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123915$B60477E0-0337-4785-BC1A-B727A9734ECD","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":"Q1123915$488AB5A5-C6DE-47A4-AC4D-06649628B848","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e76945924615d1fd982f2685806e8aba6ff215","datavalue":{"value":{"entity-type":"item","numeric-id":1094433,"id":"Q1094433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123915$13F554E4-3F05-4E98-8386-2CCB1ED09631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7bf23ef18fe656ee82acb4586c7d9adb3e4719","datavalue":{"value":{"entity-type":"item","numeric-id":3217243,"id":"Q3217243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123915$D710A454-CB40-4505-8ADC-C90C51BDFB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d3c337c99f352552fcb3d6d1e83e838d6df2ab","datavalue":{"value":{"entity-type":"item","numeric-id":1123914,"id":"Q1123914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123915$D78BF7E1-F449-4723-BF60-EAEE9C8A70AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b0fbab3b9edd976a7d31ed4c94372f18f864436","datavalue":{"value":{"entity-type":"item","numeric-id":1109795,"id":"Q1109795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123915$3249828F-DE36-40CD-BFAA-D13F6A3628BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9d5296f40ff82792829067ac9320202d663622","datavalue":{"value":{"entity-type":"item","numeric-id":762182,"id":"Q762182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123915$80815FA6-D39B-4EE0-ADC7-DCFE93C14764","rank":"normal"}],"P1643":[{"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":"7a4808964b505b699bfdc46d290c2172cb1c3e1f","datavalue":{"value":{"amount":"+0.9134414792060852","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":"Q1123915$481418C0-6779-4EFB-93DF-EBF57D274928","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":"f0615cb8f81dafe2b0b9f74fffc977bfa7ab9d74","datavalue":{"value":{"amount":"+0.8026944398880005","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":"Q1123915$29EDB1FD-D015-474A-9F7C-4C99915675B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b4f4a1e5077c8a3dfcd3d047ceaad8f71c0f0a2","datavalue":{"value":{"entity-type":"item","numeric-id":1109795,"id":"Q1109795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad442c6c66fdb41d04231a438d6acd5a8f7e6f5","datavalue":{"value":{"amount":"+0.7990270853042603","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":"Q1123915$01695E57-7613-4FAF-BC7D-5FE3FE945677","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":"025d29a1c423f93a28e34747b9c6b8fdabfce26d","datavalue":{"value":{"amount":"+0.782639741897583","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":"Q1123915$D4F4CFF6-8137-41D8-B8DC-B1FC60EA0144","rank":"normal"},{"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":"03edf78900748870f3bf32481a8ad322299ebbf2","datavalue":{"value":{"amount":"+0.776599109172821","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":"Q1123915$B4D1D5CE-BEC9-4658-9130-F457A522CCF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Menger property for infinite ordered sets","badges":[]}}}}}