{"entities":{"Q1065006":{"pageid":1075758,"ns":120,"title":"Item:Q1065006","lastrevid":48856753,"modified":"2026-01-06T00:37:18Z","type":"item","id":"Q1065006","labels":{"en":{"language":"en","value":"A new proof of a theorem of Harper on the Sperner-Erd\u0151s problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3920475"}},"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":"Q1065006$735263EE-7522-4145-950A-9329B6BE62EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a2ef7f8ee169bd27fec42aeed23136687826f70","datavalue":{"value":{"text":"A new proof of a theorem of Harper on the Sperner-Erd\u0151s problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1065006$68FD1BFE-40FA-4C21-872B-5A38B2872162","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdbd049ec1bb67ec6f3388439b96d1197cd99c1e","datavalue":{"value":"0576.05001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065006$668312E0-234F-4668-9310-29D804AC201E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"811fab7bbe54a89780f887a4d7f40660f7f1df92","datavalue":{"value":"10.1016/0097-3165(85)90079-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065006$FF792640-A987-4836-B952-C1EAE382BA26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98c5835a632f59c04c7195e8516df80cfca74bbb","datavalue":{"value":{"entity-type":"item","numeric-id":427811,"id":"Q427811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065006$D7319438-4062-464A-B176-A9473EE72E85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065006$5F6BD47A-3EBE-408C-9CFD-DA8E234EF152","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1065006$79066D07-1CC6-4415-AAA4-549FFCE8F9A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5a79c6f4932ead905e6796369119f99303839d33","datavalue":{"value":"Let P be a finite poset. A weight on P is a function \\(v: P\\to \\{x\\in R\\); \\(x>0\\}\\), a rank on P is a function \\(r: P\\to \\{0,1,2,...\\}\\) such that \\(r(x)=0\\), if x is minimal, and \\(r(x)=r(y)+1\\), if \\(x>y\\) (i.e., x covers y). For any subset \\(S\\subseteq P\\) define \\(v(S)=\\sum_{x\\in S}v(x)\\). Put \\(N_ i=\\{x\\in P;\\quad r(x)=i\\},\\) \\(r(P)=\\max \\{r(x);\\quad x\\in P\\}.\\) The weighted and ranked poset P is called normal, if \\(v(A)/v(N_ i)\\leq v(R(A))/v(N_{i+1})\\) for all \\(A\\subseteq N_ i\\) and \\(i\\in \\{0,...,r(P)- 1\\}\\) where \\(R(A)=\\{x\\in N_{i+1}\\); \\(x>a\\) for some \\(a\\in A\\}\\). Let (P,v) and (Q,w) be weighted posets. A function \\(\\phi\\) : \\(P\\to Q\\) is called a flow morphism, if (i) \\(\\phi\\) is surjective, (ii) \\(x<y\\) implies \\(\\phi (x)<\\phi (y)\\), (iii) \\(w(x)=v(\\phi^{-1}(x))\\) for all \\(x\\in Q\\), (iv) the poset induced on \\(\\phi^{-1}(x)\\cup \\phi^{-1}(y)\\) is normal and has rank 1 for all x,y\\(\\in Q\\) with \\(x<y\\). Using the framework of category theory, \\textit{L. H. Harper} [Adv. Appl. Math. 1, 158-181 (1980; Zbl 0469.90028)] proved the following theorem: If there is a flow morphism \\(\\phi\\) from (P,v) onto (Q,w), then max \\(\\{\\) v(A); \\(A\\subseteq P\\) is an \\(antichain\\}=\\max \\{w(B)\\); \\(B\\subseteq Q\\) is an antichain\\(\\}\\). In the paper under review, the author gives another proof of this theorem. This proof is based on the method of linear programming and on the fact that relation graphs of posets are perfect.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065006$02F3C3B0-27EA-47DB-B00C-1C1E5BAEED64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6247f04fad65d359a20e559b3e9499d6219d492e","datavalue":{"value":"05A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065006$27709AA1-CC63-4989-94B1-E273AD76BEBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63c85fba09e0d389ff6f07dbe5752efefb5248c1","datavalue":{"value":"3920475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065006$9C83ABE2-3E75-4A5B-BC69-A1AEAD8ACA8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c112796ae0a7b72996d23591fc5b5f1468c6d09","datavalue":{"value":"Harper's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065006$5C4DE445-50C7-4D23-AB19-4D456F4626BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"057755d6182aadeb0972f726a90abdf28a2c0108","datavalue":{"value":"Sperner families","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065006$58CB5946-1CE6-436D-AE1F-6262E404AD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44f76b1f4c1cffcc163d1b1a4c7997dc5e89cd09","datavalue":{"value":"ranked poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065006$3BD394D3-4E0A-40F4-B1DD-7F09814EB7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24bc5a33d8045a5354e5b873accf9543dc613680","datavalue":{"value":"weighted posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065006$69E2E96E-501D-41F8-9E0B-08D75F5B8FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08efa1a08a750d06fca0196004a17a02a35c592","datavalue":{"value":"linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065006$F196C466-6299-4395-92A8-536A0529D06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cea9370202595e68366967a8f79d111711b6d3","datavalue":{"value":"relation graphs of posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065006$E3E7DD15-2A68-43ED-8534-A82847D5C284","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":"Q1065006$8B850344-C0A7-40E9-AA53-1A0BF6D9FB02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f906863fc7f5db88ce336bcfcade30c6e5065784","datavalue":{"value":"https://doi.org/10.1016/0097-3165(85)90079-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1065006$49E236F9-62A5-4674-BC05-58785EF6B5F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94ddbb48e0619f5ccbf5b043e04afaecf19ac184","datavalue":{"value":"W2095113088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065006$E6FF2B27-92AF-4FB6-8E99-F825898BA95C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c6f1ce1b224b8ae5155703b9075c24e314e8c3","datavalue":{"value":{"entity-type":"item","numeric-id":3673576,"id":"Q3673576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065006$413E27F8-DA19-4E82-9234-90D3BACB608C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b02feba9937f5767fa9cc3b5d71847833c047a","datavalue":{"value":{"entity-type":"item","numeric-id":1106225,"id":"Q1106225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065006$43E5C2BC-B531-4822-8CB0-A88C83BF9DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cb2ca458acea0e3632727170dcd237e7765fa59","datavalue":{"value":{"entity-type":"item","numeric-id":5514188,"id":"Q5514188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065006$049EFF41-B6A2-4852-89B2-5F98F879906F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d8a0ac67e074af2783991b082cd18a14315535","datavalue":{"value":{"entity-type":"item","numeric-id":5668263,"id":"Q5668263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065006$1A805EC6-1B83-451A-A39F-7F1F7C85C721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c0a273982b6733ef06176a7e421cfe6976ddab","datavalue":{"value":{"entity-type":"item","numeric-id":4196436,"id":"Q4196436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065006$C099D3F3-8794-4297-83CB-73248EFD66B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c3046a8a2e3350396a0b97510cc6958bb659c8","datavalue":{"value":{"entity-type":"item","numeric-id":5966942,"id":"Q5966942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065006$06116252-AD4F-452E-AE47-ABC0517AA246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dcfbcf55b725865573038f7e6c65a59e8727d95","datavalue":{"value":{"entity-type":"item","numeric-id":2546211,"id":"Q2546211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065006$182070F8-4909-465B-9E44-72B4E4040F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf484660ce3b252ded0abf088898a614abd68fb8","datavalue":{"value":{"entity-type":"item","numeric-id":1157274,"id":"Q1157274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065006$34404607-33FF-4DA0-BC27-A8E4D155A93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ffe354fb11051e9530772b59a53e349071d68d3","datavalue":{"value":{"entity-type":"item","numeric-id":1137582,"id":"Q1137582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065006$DDAA5C87-6BA6-465D-AB8C-FD59836BC7EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9258df16124031afa5207e616efcaff661a8150f","datavalue":{"value":{"entity-type":"item","numeric-id":3320437,"id":"Q3320437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f25c0022326ae22004f25397c63987fcf4a8fa78","datavalue":{"value":{"amount":"+0.7705953121185303","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":"Q1065006$8D58BA9F-0C93-4A14-B154-DDFB67BCDD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5736b2ce9301093f63f698cc2b3aa1aef9a8a4a5","datavalue":{"value":{"entity-type":"item","numeric-id":1106225,"id":"Q1106225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5043ba617c27363fdea16ecdd84990c501842f6","datavalue":{"value":{"amount":"+0.7698889970779419","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":"Q1065006$BCAA2259-C6D5-4800-B6BA-E5044270E2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99958bdeaba28ad054e761ab9159b4a8498241bd","datavalue":{"value":{"entity-type":"item","numeric-id":4338928,"id":"Q4338928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be64be1d3bb64012b2ce3c7d83be1ec817f109d2","datavalue":{"value":{"amount":"+0.7648876905441284","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":"Q1065006$FFD82592-D1B0-4281-9808-70FED0FC16F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5af27bb5869642cf9ec0f27aaa7c90a58f30627d","datavalue":{"value":{"entity-type":"item","numeric-id":4896583,"id":"Q4896583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa709dc8cfe8f6869c28c83604c32118e50c9501","datavalue":{"value":{"amount":"+0.7648875117301941","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":"Q1065006$EC65AFA2-A0BC-4933-B900-57A9909F83DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e968b7f98965713302048ceee7529e30b3433675","datavalue":{"value":{"entity-type":"item","numeric-id":3344243,"id":"Q3344243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8d71bd17c3513168e5aa43c8e05f8109886315","datavalue":{"value":{"amount":"+0.7493497133255005","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":"Q1065006$2799327E-0152-44B3-A24C-56AC6523D7A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1065006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1065006"}}}}}