{"entities":{"Q1010900":{"pageid":1012748,"ns":120,"title":"Item:Q1010900","lastrevid":66004467,"modified":"2026-04-12T06:53:05Z","type":"item","id":"Q1010900","labels":{"en":{"language":"en","value":"Traces of uniform families of sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5541064"}},"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":"Q1010900$E3E0C0D7-F585-42FB-B800-A8246067461C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf6476a796955ee8ac38cb21bdedeb6aa9ab52f9","datavalue":{"value":{"text":"Traces of uniform families of sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1010900$E59A97CA-A4B6-42A5-BF3F-E996C589F774","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d9b7730405fcd2f774bfb384be493198be16e14","datavalue":{"value":"1159.05050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010900$4293EA1E-B39C-4CAB-A06E-48F21DB123A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be697b915466aa0472f088a7a4adb7b421dd1b46","datavalue":{"value":{"entity-type":"item","numeric-id":322260,"id":"Q322260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1010900$BC950880-875D-45AC-B7A4-E6E53814CDCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1010900$0839E2A6-312C-4286-A806-27952FB93059","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f584a175cfc2fafdfc362244f176e06010bbf381","datavalue":{"value":{"time":"+2009-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1010900$F57A4D40-673A-4860-BE41-392E66333617","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49e1ae1f9834263fd781aed9c3c9223a4d4b95f3","datavalue":{"value":"https://eudml.org/doc/129774","type":"string"},"datatype":"url"},"type":"statement","id":"Q1010900$B4E17962-9A1C-4934-A894-B0726A506A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"788ffef9373983b4f9bb7d076fddc003719701d9","datavalue":{"value":"http://www.emis.de/journals/EJC/Volume_16/Abstracts/v16i1n8.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1010900$36E60B88-EDE3-4462-BE49-CBE4EACE1F6A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1b66bf2ad42448c9bb50ebd93316daaa93cd5e59","datavalue":{"value":"Summary: The trace of a set \\(F\\) on a another set \\(X\\) is \\(F|_X=F \\cap X\\) and the trace of a family \\({\\mathcal F}\\) of sets on \\(X\\) is \\({\\mathcal F}_X=\\{F|_X: F \\in {\\mathcal F}\\}\\). In this note we prove that if a \\(k\\)-uniform family \\({\\mathcal F} \\subset \\binom{[n]}{k}\\) has the property that for any \\(k\\)-subset \\(X\\) the trace \\({\\mathcal F}|_X\\) does not contain a maximal chain (a family \\(C_0 \\subset C_1 \\subset \\dots \\subset C_k\\) with \\(|C_i|=i\\)), then \\(|{\\mathcal F}| \\leq \\binom{n-1}{k-1}\\). This bound is sharp as shown by \\(\\{F \\in \\binom{[n]}{k}, 1 \\in F\\}\\). Our proof gives also the stability of the extremal family.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1010900$7838C37E-8979-4627-ADB7-EF76D92A4D15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010900$0EFBC7CE-8F46-417F-878D-F03C9D729803","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63d29eb4048a220767370ea9a3c108134caa662a","datavalue":{"value":"5541064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010900$2E581B48-F85A-4611-ABB9-3D69521A3EF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8612950c4b68ef423231f133969654c9b0998157","datavalue":{"value":"trace of a set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1010900$4D15623B-511D-48E7-AF4B-E765FCAE82C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f00cd071cab5a6ba80faba4d2836e9e53dde0b8","datavalue":{"value":"trace of a familiy of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1010900$B61AB13A-63A4-4C13-B6C4-C957C968114A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8c1b2137a3c9a9c1f5048f6eb661ba8e0fd3510","datavalue":{"value":"uniform familiy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1010900$F00E34F9-FBBE-42BB-97D8-F8EA31E8C080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa11204b7a828e30d93c966a7037c580ecfef23e","datavalue":{"value":"maximal chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1010900$41BD514F-0619-47D4-BD72-A05B8E08CD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d669aea414cc1089c430104349829d9539595de","datavalue":{"value":"sharp bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1010900$1987D900-8790-4843-AA0D-F320A5215834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbe96c9be120e401f265acce791204b411a11fa8","datavalue":{"value":"extremal family","type":"string"},"datatype":"string"},"type":"statement","id":"Q1010900$4FCC9711-B744-467B-B425-D1D937CE3277","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":"Q1010900$886E0B96-E03B-49F9-825F-A6E36A473100","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"dc7b725cb4df2b9b05d1250df60edfa9e368d903","datavalue":{"value":"bafkreidhmjdk5t5ktdyvjz2kjoygjfzxh64evbzfuj6z65g536di2fq5fu","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1010900$FAE99888-59AB-4304-87C2-B335AA0E7070","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7d559a4cf6a1300c2d5de557ef05e5fa7565b5","datavalue":{"value":{"entity-type":"item","numeric-id":1937361,"id":"Q1937361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3eff1359fa5c4484e9183c2b98e6192d7b96018","datavalue":{"value":{"amount":"+0.8732385635375977","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":"Q1010900$A57FE38A-71B2-47C2-9EFA-A3B7B5E8F985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf7435743021dd69bc993c4b9a08e39dea9341a8","datavalue":{"value":{"entity-type":"item","numeric-id":2380427,"id":"Q2380427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"660f8c3f5feaed4f3af95076d8086ab319e3205b","datavalue":{"value":{"amount":"+0.821225643157959","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":"Q1010900$AC535426-BADF-4564-AC08-18F377343652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2faec627c6019c5975fe4e89aacbec1f6b0e0277","datavalue":{"value":{"entity-type":"item","numeric-id":1024991,"id":"Q1024991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f5cbbb935191662e2a50fcdcdbd6095f673c4e","datavalue":{"value":{"amount":"+0.8146864175796509","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":"Q1010900$5274C93C-4099-40E2-9D0A-9E8AAE95A54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8393a9a6d83a6b2993294d1635f8f824b68d0029","datavalue":{"value":{"entity-type":"item","numeric-id":4973667,"id":"Q4973667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a87b3f2d374e7e3087e59567764e6becba21c8f","datavalue":{"value":{"amount":"+0.8017955422401428","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":"Q1010900$FD12E86B-4446-44E5-B87B-55116ED09342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15391179157df0b65a6d0cd179b5098ded3266ac","datavalue":{"value":{"entity-type":"item","numeric-id":1953417,"id":"Q1953417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7abec5eee68041c332ed538e6bf80788e05522e5","datavalue":{"value":{"amount":"+0.786932647228241","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":"Q1010900$EEA50450-F4A9-46B1-AAE3-22C0902DE1D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Traces of uniform families of sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Traces_of_uniform_families_of_sets"}}}}}