{"entities":{"Q1345523":{"pageid":1356262,"ns":120,"title":"Item:Q1345523","lastrevid":70207263,"modified":"2026-04-13T13:10:05Z","type":"item","id":"Q1345523","labels":{"en":{"language":"en","value":"Extreme \\(k\\)-families"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 731892"}},"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":"Q1345523$10DF8195-6064-4414-B1DE-D966B262ED78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7664d1a42449e22e7f5ba97b87715f6338d967e","datavalue":{"value":{"text":"Extreme \\(k\\)-families","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1345523$147D7421-7E94-4CAD-BCA3-8630D78C9E2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e74a95752fe06a244457c376189fdccff945203","datavalue":{"value":"0816.05057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345523$B98084A0-4EFF-415D-8A76-E9B72A07E7CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24a9683d1e1831e2e6c7817b8f4dcb5f32ae487e","datavalue":{"value":"10.1016/0195-6698(95)90086-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345523$2AB720B6-B94F-432E-82FD-A314E45CAB90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e39121d20c75027f407ccaa8c4732790278247e1","datavalue":{"value":{"entity-type":"item","numeric-id":291562,"id":"Q291562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345523$C1A88445-8417-409D-84B3-EAF06CBC4E00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b113bc4ac7ed430093230b872c083cde59919509","datavalue":{"value":{"entity-type":"item","numeric-id":166287,"id":"Q166287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345523$9DCC6CE8-6273-4DD8-BC25-1311A704FBEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5aafab0f0283fb579671192b00b86c64468fcc29","datavalue":{"value":{"time":"+1995-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1345523$BADB0B92-9376-45D6-9ED2-649558179F0F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"76c5990ca0196f48116996c9f9ef1e979538323f","datavalue":{"value":"Given a poset \\(P\\), a \\(k\\)-family \\(A\\) is a subposet containing no \\((k+ 1)\\)- element chains (i.e., \\(A\\) is of height at most \\(k\\)) which can be written \\(A_ 1\\cup\\cdots\\cup A_ k\\), where \\(A_{i+ 1}\\) is the set of minimal elements of \\(A\\backslash(A_ 1\\cup\\cdots \\cup A_ i)\\). The collection \\(A_ k\\) of \\(k\\)-families is a lattice via \\(A\\vee B= \\bigvee^ k_{i= 1} (A_ i\\vee B_ i)\\), with \\(A_ i\\vee B_ i\\) consisting of the maximal elements of \\(A_ i\\cup B_ i\\) and \\((A\\vee B)_ i\\). \\(A_ 1\\) is the collection of antichains and \\(A_ k\\) is a generalization as well as an extension of \\(A_ 1\\). Many theorems for antichains have natural extensions to \\(k\\)-families. The study of \\(k\\)-families for the family of all subsets of an \\(n\\)-set is not a new subject. Nevertheless, in proceeding towards extension of the theory to general posets there remains work to be done as indicated by the results obtained in this informative paper. A minimal \\(r\\)-element \\(k\\)-family \\(A\\) has \\(| A |= r\\) and for every \\(B< A\\), \\(| B|< r\\), where \\(B\\leq A\\) provided for all \\(i\\), \\(B_ i\\) is contained in the (order) ideal generated by \\(A_ i\\). If \\(M_{k,r}\\) is the set of minimal \\(r\\)-element \\(k\\)-families, with \\(M_ k= \\bigcup^{w_ k}_{r= 0} M_{k,r}\\), where \\(W_ k\\) is the maximum size (if it is finite) of a \\(k\\)-family (\\(M_{k,w_ k}\\) consists of the Sperner \\(k\\)-families), then \\(| M_{k,r}|\\leq (\\begin{smallmatrix} w_ k\\\\ r\\end{smallmatrix})\\) (is the best possible bound), while  \\[ | M_ k|= \\Bigl| \\bigcup M_ k\\Bigr|\\leq \\sum^{w_ k}_{i= 1} \\left\\lceil{i\\over k}\\right\\rceil \\]  is also best possible, the union \\(\\bigcup M_ k\\) being element of \\(P\\) contained in at least one minimal \\(r\\)-element \\(k\\)-family, and  \\[ \\sum^{w_ k}_{r= 0} (\\begin{smallmatrix} w_ k\\\\ r\\end{smallmatrix}) r= W_ k 2^{w_ k- 1} \\]  is also equal to \\(| M_ k|\\). Along with the list counts and several other results the author establishes that \\(M_ k\\) is a join-subsemilattice of \\(A_ k\\) with \\(M_ k\\) a lower- semimodular lattice with the \\(r\\)th rank given by \\(M_{k,r}\\). If for \\(A\\in A_ k\\), \\(D(A)= \\max\\{| B|-| A| \\): \\(B\\in A_ k\\) and \\(B\\leq A\\}\\), then \\(D(A\\vee B)\\leq D(A)+ D(B)\\), with equality obtained when \\(A\\) and \\(B\\) have disjoint order ideals e.g.; and \\(A\\in M_ k\\) implying \\(D(A)= 0\\). It follows that \\(\\{A: D(A)= 0\\}\\) is also a join- subsemilattice of \\(A_ k\\). Specialization to \\(M_ 1\\) yields results on antichains of interest also.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345523$CCE389A8-A6A8-473B-93C9-1008FA09A50E","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":"Q1345523$D6225935-9CB3-4B8F-A035-4EE49CBEE223","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345523$03F91660-63CF-4091-8A66-1A1B5FC17BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345523$1CB56200-1A13-4424-8444-E6F945575BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345523$E34A0AA1-F4B9-4DEB-9940-A10DF50FF4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c5c0988bb454a07bbb8495c78cd80cee24791053","datavalue":{"value":"06C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345523$AEFC5C97-4C05-4866-98EB-7DBED461C03D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1b1c768ea8f138e6915d83d4e64b06610400038","datavalue":{"value":"731892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345523$4D33DFB3-1424-401A-B0BD-58499AB8C12E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa3b78966cfb52fc036fce3c0225aafd483ac892","datavalue":{"value":"Sperner sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345523$1CFF9934-763C-4A2D-A373-1AD01AD4BA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762a112ef0429a3655234c3e246a242461dca9bf","datavalue":{"value":"poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345523$36E3623F-B022-40D7-8400-D3CC3AF98248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeeaa5a37da8bd50d948436ee913ef1a7f6a4578","datavalue":{"value":"\\(k\\)-family","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345523$7878971D-7C3B-4A47-81D1-4D4706C6CB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922c01258e140214b68568956989c4ba97b3c6f4","datavalue":{"value":"antichains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345523$A40CBFAF-35CB-4F1E-A1AD-A5EB2BD45684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1345523$8BAD9811-DA45-4F40-A368-11965A4794FC","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":"Q1345523$F7BBFE3E-881B-40E5-A046-4C98A4BF245A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a405d69992e2f20f67a3f2793d2a7ee1bbad87e","datavalue":{"value":"https://doi.org/10.1016/0195-6698(95)90086-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1345523$91E9BCDE-5439-4899-9629-339190F8B33C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20a54d5b2ee5fedde250ca82b2d2976cf6cda5e5","datavalue":{"value":"W2049525428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1345523$41C8D7B1-5111-4BD2-92F9-3DF95B40887C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5250e02486a79ebd69be420413de5224ca74ad21","datavalue":{"value":{"entity-type":"item","numeric-id":3741626,"id":"Q3741626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345523$38721DDE-9E57-488C-8CC6-10671C77AF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ba60c5419427ac8f7d406e7edc68194d94e67ae","datavalue":{"value":{"entity-type":"item","numeric-id":3274165,"id":"Q3274165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345523$293855D5-A704-4D11-8675-0C2CAFE5C01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b238dc2081abce74ab857fdbbdc1ae772ad544a","datavalue":{"value":{"entity-type":"item","numeric-id":759153,"id":"Q759153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345523$6714A883-61C4-404F-B2FD-9ED14979EBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b64ed9290ecc7b79953c10f6e8354cdd0f139d","datavalue":{"value":{"entity-type":"item","numeric-id":5842843,"id":"Q5842843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345523$A5242259-606C-4856-AEFA-EC61F0E24B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65a6538200e554e0b902be272e1fa6197fea6dc","datavalue":{"value":{"entity-type":"item","numeric-id":5905915,"id":"Q5905915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345523$4D37577C-F5C3-41FD-96C3-0CBA2C31185A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d40b5be64511f4701054897422430ae140756fe3","datavalue":{"value":{"entity-type":"item","numeric-id":1334941,"id":"Q1334941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345523$49F24D81-A42E-4CB7-AB8B-014B439BE9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e58509c58589e7e9ff957b836ae2fde24359d4","datavalue":{"value":{"entity-type":"item","numeric-id":5834612,"id":"Q5834612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345523$B76851FD-F34A-490E-BD5C-0C73022255A4","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":"Q1345523$CE1B27D4-F9CB-4B71-A925-B0F0C436AAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43209aab9855e335d4f91991656c0b68cbee3e5","datavalue":{"value":{"entity-type":"item","numeric-id":3964569,"id":"Q3964569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1345523$85A3C2BE-2CFF-495F-9A83-81D6017481C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7441e6a6cdf3f946ed9bd6a2ddacad05c24cbd3d","datavalue":{"value":{"entity-type":"item","numeric-id":2448967,"id":"Q2448967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c9728bc8f2a4a2b965b98bfaf2f41ce52d090c","datavalue":{"value":{"amount":"+0.7848698496818542","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":"Q1345523$D3AE11DD-F321-406D-9AE9-43B6C76095C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb4552fa9f1f71b0b2acbbc78c6780efc983344","datavalue":{"value":{"entity-type":"item","numeric-id":793730,"id":"Q793730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f82403f763c67764bd01f9a5f5f2fbf34b7252","datavalue":{"value":{"amount":"+0.7810503244400024","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":"Q1345523$34F567CE-CD33-4E06-9F19-86E25A5E92C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c73c43d79c07c5339ea1b9dd093a8a8f139c63","datavalue":{"value":{"entity-type":"item","numeric-id":4633778,"id":"Q4633778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d9c526be6f13e35ed7e0651e57d82e25c6ca9c","datavalue":{"value":{"amount":"+0.7705864310264587","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":"Q1345523$D825C7A3-C128-4233-B043-58A1E90B11E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2536ab2e941aa3d9364a29ccb707dcd5231d390e","datavalue":{"value":{"entity-type":"item","numeric-id":3815304,"id":"Q3815304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2facda7c3f93f40b09aab208200d28d1ff3a1642","datavalue":{"value":{"amount":"+0.7683669328689575","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":"Q1345523$E1987B8E-DBBE-47A7-8F0E-827E18A6C971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28ac58972034eb0fb3256880513a2116d75ddd73","datavalue":{"value":{"entity-type":"item","numeric-id":5020467,"id":"Q5020467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf322fc3fb60ded83d7284afac93249b939074a5","datavalue":{"value":{"amount":"+0.765718936920166","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":"Q1345523$8C1BA9DF-2AE8-4871-A4F2-25D4B950E575","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extreme \\(k\\)-families","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extreme_%5C(k%5C)-families"}}}}}