{"entities":{"Q580381":{"pageid":582148,"ns":120,"title":"Item:Q580381","lastrevid":62922345,"modified":"2026-04-11T09:00:32Z","type":"item","id":"Q580381","labels":{"en":{"language":"en","value":"Some inequalities for partial orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016964"}},"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":"Q580381$9F9C9BA0-D99C-4DFF-ABC1-0D401161EC4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e8330f4b1c665afc0b9722c81a1770282ea5077","datavalue":{"value":{"text":"Some inequalities for partial orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580381$62F097F1-D67D-40B9-8DF6-B1E8388A962B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4f2b5b7b106ce9bd09e6f1619c4d618fac7e842","datavalue":{"value":"0626.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580381$907EAB39-BC39-4AD3-AFBD-C8A7A1D76044","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11ffcdc7405c1031099a7b23f5c510e6c69684dc","datavalue":{"value":"10.1007/BF00340779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580381$E55FA350-950D-49D3-AB71-282977C39B1A","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":"Q580381$C4B81B5C-C97E-4358-BF7E-C26A2747AAC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q580381$7B26F224-337B-4CE7-BC34-2C61A195CDC1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b3050aa8b9b2997872e8c547ea7ba91d4482740","datavalue":{"value":"Inequalities connecting several parameters of a partially ordered set (poset) \\(P=\\langle P,\\leq\\rangle\\) are established. The parameters are:   (1) width, \\(\\mu (P)\\), the smallest cardinal (t.s.c.) \\(\\mu\\) such that \\(| A| <1+\\mu\\) for any antichain \\(A\\subseteq P\\);   (2) narrowness, \\(\\nu(P)\\), t.s.c. \\(\\nu\\) such that \\(| A| =\\nu\\) for some maximal antichain \\(A\\subseteq P\\);   (3) chain decomposition number, \\(K(P)\\), t.s.c. \\(K\\) such that \\(P\\) is a union of \\(K\\) chains;   (4) chain end-decomposition number, \\(K_ 1(P)\\), t.s.c. \\(K_ 1\\) such that \\(K(P\\upharpoonright E)=K_ 1\\) for some subset \\(E\\subseteq P\\) which is both cofinal and coinitial in \\(P\\);   (5) the local maximal chain number, \\(\\lambda(P)\\), t.s.c. \\(\\lambda\\) such that \\(| MC([a,b])| <1+\\lambda\\), for all \\(a,b\\in P\\), where \\(MC([a,b])\\) is the collection of maximal chains in the interval \\([a,b]\\) of \\(P\\);   (6) the local chain decomposition number, \\(\\lambda_ 1(P)\\), t.s.c. \\(\\lambda_ 1\\) such that \\(K([a,b])<1+\\lambda_ 1\\) for all \\(a,b\\) in \\(P\\);   (7) the ideal decomposition number \\(\\iota (P)\\), t.s.c. \\(\\iota\\) such that \\(P\\) is a union of \\(\\iota\\) ideals;   (8) the strong antichain number of \\(P\\), \\(\\mu_ 1(P)\\), t.s.c. \\(\\mu_ 1\\) such that \\(| A| <1+\\mu_ 1\\) for every strong antichain \\(A\\subseteq P\\) [i.e., \\(\\{y\\mid x,x'\\leq y\\}=\\emptyset\\) for \\(x\\neq x'\\) elements of \\(A\\)].    Results noted are as follows:   [Dilworth]: \\(\\mu (P)<\\omega\\) implies \\(K(P()=\\mu (P)\\);   [Perles]: \\(\\exists P\\) with \\(\\mu (P)=\\omega\\) and \\(K(P)>K\\) (any cardinal);   [Erd\u0151s and Tarski]: \\(\\mu_ 1(P)\\neq \\omega\\);   [Milner and Prikry]: \\(\\exists P\\), \\(\\mu_ 1(P)=\\omega\\), \\(\\iota (P)>K\\).    Observations by the authors (delete \\(P\\)): \\(\\nu^+\\leq 1+\\mu \\leq K^+\\); \\(\\mu_ 1\\leq \\mu\\); \\(\\lambda_ 1\\leq \\lambda\\); \\(K_ 1\\leq K\\); \\(1+\\lambda_ 1\\leq K^+\\); \\(\\iota\\leq K\\); \\(\\mu_ 1=\\iota\\) if \\(\\mu_ 1<\\omega\\).   Established by the authors: \\(K\\leq K_ 1\\cdot \\lambda \\cdot \\nu\\) (best possible); \\(\\mu \\leq [K^ 2_ 1\\lambda_ 1]^+\\); \\(\\nu \\leq K_ 1\\) if \\(\\lambda <\\omega\\); \\(K\\leq \\lambda\\) if \\(K_ 1=1\\); all trees belong to a class of posets (described) for which \\(K\\leq \\mu\\), generalizing a result of F. Kurepa and F. Galvin; necessary and sufficient conditions on \\(P\\) such that \\(\\iota <1+\\mu_ 1.\\)    In addition to those principally concerned with the study of various parameters these results should also prove interesting to those more involved in relating ``numerical'' parameters to other structural properties of posets. It seems that more can still be accomplished along the lines continued in this interesting paper from previous points of departure.","type":"string"},"datatype":"string"},"type":"statement","id":"Q580381$DDBC47A8-C9B5-48D7-AE8C-24CFA8F4E96C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580381$35449D33-A3D7-41D4-A486-08B24042D2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580381$6860E389-4A8F-415C-9834-0DD8D5386B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580381$FD3DFC7D-6173-4C53-B58F-C92B815197DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580381$C75A0C35-2B51-4A1F-B355-4B34609FBB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff9d350acea12ffd75e7ed8da6f45c48ff041eef","datavalue":{"value":"05A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580381$09E02538-E1F5-4806-94A6-AF523A374A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe20c11270a022ced6b6a582d87c0ca73a689567","datavalue":{"value":"05A19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580381$536B5CCD-E006-422D-B5A7-DA0CDB998F87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a32450e9cd00ada82f8264c3a819bdea0abacc57","datavalue":{"value":"4016964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580381$9BCD2F72-533F-4831-B1A3-5CB8BC361336","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcda5ac88fce70eac18f7190f19ff8bd38092612","datavalue":{"value":"Inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q580381$D3CE8A0E-57E1-4ED7-BFD3-156F0108ADC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0da0f5147540e5ff9abe1a7fedfdb0d575bb38f3","datavalue":{"value":"partially ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q580381$D84E83FB-10EF-4C78-8864-750FBDD09FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccdf98bea6de3dcf3a7edd1fca9d3b62359e75d8","datavalue":{"value":"width","type":"string"},"datatype":"string"},"type":"statement","id":"Q580381$E114F297-D781-4AAC-BE2F-9699249AEEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70c12533e1406e33816856813f8ebf55f6f74c69","datavalue":{"value":"antichain","type":"string"},"datatype":"string"},"type":"statement","id":"Q580381$C4686930-C580-4BE8-94AF-05DD9CA15D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd1ddfcc6def6d3be8581c95acf6b8d2a59dcefe","datavalue":{"value":"narrowness","type":"string"},"datatype":"string"},"type":"statement","id":"Q580381$9DB7E1A9-DDEC-440A-BA40-AB50A74E4063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b488f71316c3ccbc4e3940fce5696bdd021f6ba3","datavalue":{"value":"chain decomposition number","type":"string"},"datatype":"string"},"type":"statement","id":"Q580381$D9F20670-3B61-40C6-A650-2DAE03FB56B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6984018d3922abc9bd722320b3e984b460d0d5a3","datavalue":{"value":"chain end-decomposition number","type":"string"},"datatype":"string"},"type":"statement","id":"Q580381$615E9F45-08E1-4502-8C53-77B710F637C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"668348acc5860422d526ce5535a8d2ac3bb54db4","datavalue":{"value":"maximal chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q580381$45ACEFC5-CC60-4353-A29A-68277343DA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"273f09296c98193c543822a4b1c01cc26f817ac7","datavalue":{"value":"local chain decomposition number","type":"string"},"datatype":"string"},"type":"statement","id":"Q580381$FD6E4AC9-EC50-4DF9-A628-75DE1A053794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"044bc56d7fa382092a908a67a0e8a85d1b7e8570","datavalue":{"value":"ideal decomposition number","type":"string"},"datatype":"string"},"type":"statement","id":"Q580381$D959AF0D-F428-4639-A713-BD876EA8A447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"969119b79d5412ccd698e17c7761e4e697416d0f","datavalue":{"value":"strong antichain number","type":"string"},"datatype":"string"},"type":"statement","id":"Q580381$8A2B6C28-9CD7-49C1-935F-8A746488BA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q580381$0221B620-3719-4BCC-969C-2141B44AD78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55ed4e02075ed4e4b1b42997cccad7cede0fb5bc","datavalue":{"value":"posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q580381$FCE8CD8A-78A3-42BA-8EB0-953964D831CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7e2f8310d9a756e2d866241329cfeda7939bdd5","datavalue":{"value":{"entity-type":"item","numeric-id":918995,"id":"Q918995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580381$AB2DC37E-56CD-4407-8DC8-B79B756BEE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"967f5f7bd66d9503f359e8a7f9c4daa3af19b15e","datavalue":{"value":{"entity-type":"item","numeric-id":792352,"id":"Q792352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580381$7BB049A1-ACA3-4B3D-B11F-613A7A0232CD","rank":"normal"},{"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":"Q580381$3A90C2CB-AB1D-4D0A-A09D-0DF45740FEEC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b626688718ca3d61fce8479b1c17fa40d92d8dda","datavalue":{"value":{"entity-type":"item","numeric-id":233347,"id":"Q233347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580381$C9813CEF-F818-49CC-BFFC-94EA4981A72B","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":"Q580381$29F66591-606D-48A7-AA6E-B106B9F050CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"007c64cb1e51e420a82b1528582743678952b922","datavalue":{"value":{"entity-type":"item","numeric-id":2648578,"id":"Q2648578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580381$2E1E9621-B4FF-4E2A-B3B0-2140DEECB5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d969f1a386410447fd997baee9581f135d1e0f","datavalue":{"value":{"entity-type":"item","numeric-id":2652530,"id":"Q2652530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580381$4EF3AFEB-1952-4BAF-AC6B-789D5C4121FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d19ff6b20c91f778b9d7e396bcf5aec1b6d93bf5","datavalue":{"value":{"entity-type":"item","numeric-id":4749876,"id":"Q4749876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580381$3323911E-4DA6-4B98-86C1-F76C70936F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f6ec2c18fbe650e412e0955597a8cc9ad61309","datavalue":{"value":{"entity-type":"item","numeric-id":3941409,"id":"Q3941409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580381$F9346813-3A08-4926-B123-3A2E8FCC8D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c4b2c7186dfc80f12b510941e7532e3861a4aa2","datavalue":{"value":{"entity-type":"item","numeric-id":2625478,"id":"Q2625478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580381$33FBFE99-5405-4F7F-B01E-DE9143364CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a438e696f7fa90196f7c2ef9e9a8d6eb8fb9c3e","datavalue":{"value":{"entity-type":"item","numeric-id":5789532,"id":"Q5789532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580381$37D9DF9A-C291-4670-BD67-4FDF49FE0F4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e80df015908e0fff5f0dbc6f5b2daa50a905e42","datavalue":{"value":{"entity-type":"item","numeric-id":1362577,"id":"Q1362577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f47070dd71d5fa55cea217e584830085be96c7","datavalue":{"value":{"amount":"+0.7717717885971069","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":"Q580381$380F0160-7F18-4E47-8793-196EE7EDEDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db98c5a06124212602cb69fe163235f911f6188","datavalue":{"value":{"entity-type":"item","numeric-id":1112851,"id":"Q1112851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f47070dd71d5fa55cea217e584830085be96c7","datavalue":{"value":{"amount":"+0.7717717885971069","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":"Q580381$9565E7CE-9654-401A-96A2-7842D3B27EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ea0f83c1daa3c8cd9ae2a822c655656b44f0d7","datavalue":{"value":{"entity-type":"item","numeric-id":1124616,"id":"Q1124616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f76f3d30fd49da806f0a676a131f07e90b069d","datavalue":{"value":{"amount":"+0.7637372016906738","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":"Q580381$E035F443-E1D6-43F0-8B3E-CB20ECB56689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd78b2ce29db362c2ca84504132829c6e69176e","datavalue":{"value":{"entity-type":"item","numeric-id":3977584,"id":"Q3977584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdc81e552a6277a6b0ae3556b2bc6086a08c6542","datavalue":{"value":{"amount":"+0.760975182056427","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":"Q580381$C064D155-EE87-48D0-88E8-26612C15A69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a777118aa7582ddcad878a86de8892c717545406","datavalue":{"value":{"entity-type":"item","numeric-id":1090344,"id":"Q1090344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dee70f92bc8b05a6e58f9a2a7f8c334feabb4df","datavalue":{"value":{"amount":"+0.7577537894248962","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":"Q580381$77231CB0-CE6F-4524-94C3-95CA5A35189C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some inequalities for partial orders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_inequalities_for_partial_orders"}}}}}