{"entities":{"Q584290":{"pageid":586057,"ns":120,"title":"Item:Q584290","lastrevid":62949369,"modified":"2026-04-11T09:11:26Z","type":"item","id":"Q584290","labels":{"en":{"language":"en","value":"The PT-order, minimal cutsets and Menger property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4134104"}},"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":"Q584290$521DD333-1DB1-4090-A17C-15729BD63A88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"767ea0d2bb81c262ebfc1fe60d8d576097c1f374","datavalue":{"value":{"text":"The PT-order, minimal cutsets and Menger property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q584290$67579CD4-F1AE-4C11-A9C0-D7C19EC60CD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d4ad21b5534be9b0906218d28af2f629c6dd3d4","datavalue":{"value":"0693.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584290$B64682A7-9A75-4D2B-BE1D-FB88475D4E2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adbe1e8092b4869a0dfcf3061930c5965c3c9a3a","datavalue":{"value":"10.1007/BF00341637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584290$D7EB91D2-1B2F-4D1D-A3D9-A3A0727E5EF9","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":"Q584290$5CF0578E-7AF4-4B8D-AE9B-303F78888E87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q584290$F2C1F32C-0C38-43C9-81FF-4B5CE3CB8B17","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"93ae9218879d1b1103b22eec16693ca0bb9b2991","datavalue":{"value":"For a poset \\({\\mathcal P}=(P,\\leq)\\) the associated PT-order is the reflexive and transitive binary relation \\(\\trianglelefteq\\) in which \\(a\\trianglelefteq b\\) holds if every maximal chain of \\({\\mathcal P}\\) which passes through a also passes through b. A cutset of \\({\\mathcal P}\\) is a subset of P which has a nonempty intersection with every maximal chain of \\({\\mathcal P}\\). The poset \\({\\mathcal P}\\) is called special if whenever A is a chain in \\({\\mathcal P}\\) and \\(a=\\sup A\\) or inf A, then there is \\(b\\in A\\) such that \\(b\\trianglelefteq a\\). Further \\({\\mathcal P}\\) is said to be chain complete if every chain \\(A\\subseteq P\\) has an infimum and a supremum in \\({\\mathcal P}\\). Finally, \\({\\mathcal P}\\) is said to be regular if it is chain complete and if whenever A is a chain in \\({\\mathcal P}\\), \\(a=\\sup A\\) (inf A) and \\(x<a\\) \\((x>a)\\), then there is \\(b\\in A\\) such that \\(x<b\\) \\((x>b)\\). Deriving from more general theorems, the author proves the following facts:   1) If \\({\\mathcal P}\\) is chain complete and special, then the set of \\(\\trianglelefteq\\)-maximal elements is \\(\\trianglelefteq\\)-dominating (i.e. for every \\(y\\in P\\), there is a \\(\\trianglelefteq\\)-maximal element x such that \\(y\\trianglelefteq x)\\) and contains a minimal cutset.    2) If \\({\\mathcal P}\\) is regular and special, then it is a union of minimal cutsets (partial answer to a question of Rival and Zaguia).    3) If \\({\\mathcal P}\\) is chain complete and special, then min\\(\\{\\) \\(| X|:\\) X is a cutset of \\({\\mathcal P}\\}=\\sup \\{| M|:\\) M is a set of pairwise disjoint maximal chains in \\({\\mathcal P}\\}\\) and the supremum is attained (partial answer to a question of Brochet and Pouzet).","type":"string"},"datatype":"string"},"type":"statement","id":"Q584290$6E01900A-7C5E-4A49-B186-48818C4962D2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fc01f965b0513cf320497fc21a959a6ae364b21d","datavalue":{"value":{"entity-type":"item","numeric-id":427811,"id":"Q427811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584290$788F1C96-A977-4787-AB79-BD7ED45BB057","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584290$9769F4B3-E5EF-453E-98A5-5C6EB2545A22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb78a2fb28d7f970bc2e84a172b7bc362fca5e13","datavalue":{"value":"4134104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584290$834FEE88-C347-40F2-BBED-ACFD9A406A77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a54eb597febdec18f330bf69a4d134715fc49a","datavalue":{"value":"special poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q584290$B4B63196-403A-4909-A9DA-909067677EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24636610418f7b7be78f4ab6e671bc067fe0af6a","datavalue":{"value":"regular poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q584290$D1788AC5-4709-44D1-B293-74483AA7558B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb4fe43c673d973685fe281c0abe3bf00e99d46","datavalue":{"value":"Menger's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q584290$5F13AAE4-2C2B-4125-9249-A5636FCA9078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01e9579a0554beec4fd139ee68e97cf42d2d4188","datavalue":{"value":"associated PT-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q584290$B13E1471-37F5-4297-948F-5071FCCE6630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa11204b7a828e30d93c966a7037c580ecfef23e","datavalue":{"value":"maximal chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q584290$32BAE70F-6A76-4D68-9194-709CDBF7C953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a982142c5efef90beb4493217f379adba4ff43a4","datavalue":{"value":"chain complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q584290$1737AB9F-64B4-4A3E-9B3C-3523E3779F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b55c9b884e032a12a5ff9a969947a8be61b4541","datavalue":{"value":"minimal cutsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q584290$CCF2FB56-78BF-417B-A41F-B6C0DB105960","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1d72b88d8ba56f071e4315f0515b6a58729d73b","datavalue":{"value":{"entity-type":"item","numeric-id":792353,"id":"Q792353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584290$95D47F92-F558-4AA5-AFD5-80427BB7CC8E","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":"Q584290$6903E8B1-AA8C-4D4A-BADD-375468AFE48E","rank":"normal"}],"P223":[{"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":"Q584290$461EB20B-E5E5-43BF-9101-78CAC5D8F6C5","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":"Q584290$784992C8-FE15-4555-943B-DF55C31C1AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad98c1f00c2902697afa59da1a022274f556ec7","datavalue":{"value":{"entity-type":"item","numeric-id":1061754,"id":"Q1061754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584290$9006FAA9-7CCE-4BD6-BD06-66DC208B75EC","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":"Q584290$C1534D91-1401-4618-AFF4-204648CBC594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7cd2f50e36094dcbc1a6c73196610659b9a6069","datavalue":{"value":{"entity-type":"item","numeric-id":3765826,"id":"Q3765826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q584290$3D14EBFD-41F0-4F02-B4FE-FDC13C076CB5","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":"Q584290$D56AA912-34C1-4669-B926-EFE2DBADF5DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0e001f4707be007c58fcfc19e6be50cf78083f4","datavalue":{"value":"https://doi.org/10.1007/bf00341637","type":"string"},"datatype":"url"},"type":"statement","id":"Q584290$ECF8BF8A-F2B8-4E01-92C6-F1F82CE6E065","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"928db1842a1dbe8b73b19bf714753d38a5e3d863","datavalue":{"value":"W2050780543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q584290$098CA8B8-8945-4810-8A35-1AD0DF73F553","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ceb4ae9296a59b3795c50cfa181691d55d47b1d","datavalue":{"value":{"entity-type":"item","numeric-id":1311419,"id":"Q1311419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfa10b25b9a1400cdb23a947e48b6efa82c90fec","datavalue":{"value":{"amount":"+0.8754744","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":"Q584290$032A2204-B941-45E0-8673-B5DF9201E479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b77d28c59f1146bad913841b17b386f0b3109902","datavalue":{"value":{"entity-type":"item","numeric-id":686154,"id":"Q686154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2663b6618e2c575cfe402f47e109c972d48e613","datavalue":{"value":{"amount":"+0.87490517","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":"Q584290$8E333E27-0E8E-4C0E-8713-911D96887EC2","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":"79e9e1a664b5ed55245ff7e789587f50044d2380","datavalue":{"value":{"amount":"+0.86934173","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":"Q584290$A6A6F74C-8B9D-4CFB-9C84-F46AC86F7A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d258661b5ec3de1809ac154af24c76a2b34959b9","datavalue":{"value":{"entity-type":"item","numeric-id":1076700,"id":"Q1076700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"befc333be6643f96da68ee0751b8222236d923b8","datavalue":{"value":{"amount":"+0.861842","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":"Q584290$F4494AD2-8319-4B18-8548-A964A592F79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93bba4e50c362bb4db6543055539030e7e04e4bb","datavalue":{"value":{"entity-type":"item","numeric-id":3490046,"id":"Q3490046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b2e0eebfc199bab748b821259d5d575d5d6a316","datavalue":{"value":{"amount":"+0.8600359","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":"Q584290$E5BC73BC-2DC3-4912-869F-85FB14B27794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c8e4861e48d869597c02a6baafc26af40e549a2","datavalue":{"value":{"entity-type":"item","numeric-id":1820179,"id":"Q1820179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1efbd2f86ce1d1d4a9e89a3167690e5037bf9c46","datavalue":{"value":{"amount":"+0.8577883","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":"Q584290$0BF59DEE-AC3A-47EA-B1BE-D98C15877B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e289ca28d7ddba4a52d918703ca92e05ec6c2f7a","datavalue":{"value":{"entity-type":"item","numeric-id":4304126,"id":"Q4304126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f15dfd907fff2a46b302aa620b263c2e4068c2b","datavalue":{"value":{"amount":"+0.85682166","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":"Q584290$C3DB8856-867A-46B5-AAAE-917C8BBED9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95ec22686cb1f74da32f0e30ee94d9868a173fa4","datavalue":{"value":{"entity-type":"item","numeric-id":687171,"id":"Q687171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287a1410765e1361f72bc1b689da4210ff512193","datavalue":{"value":{"amount":"+0.85559255","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":"Q584290$F7DC36A8-8EC9-4C0B-80E8-AE6FF865804F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df9225b58b7f9283a1b3b90eb0ce35f9741aad6b","datavalue":{"value":{"entity-type":"item","numeric-id":1068861,"id":"Q1068861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a72327563d42db01e36c9f23dd491ae2ac74bb1","datavalue":{"value":{"amount":"+0.85430187","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":"Q584290$793A871E-AFAA-4B2B-8895-B4D1C6D18FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6afe569b16b7a9e6ff0c246b5532f9dd615ae8a9","datavalue":{"value":{"entity-type":"item","numeric-id":5556419,"id":"Q5556419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3edac8241fc61bfee77e00bd54a7758d5843fa51","datavalue":{"value":{"amount":"+0.84989005","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":"Q584290$42D93746-F8A1-4A30-B0AA-5186E95ECFC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The PT-order, minimal cutsets and Menger property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_PT-order,_minimal_cutsets_and_Menger_property"}}}}}