{"entities":{"Q866890":{"pageid":868738,"ns":120,"title":"Item:Q866890","lastrevid":64980705,"modified":"2026-04-11T23:31:12Z","type":"item","id":"Q866890","labels":{"en":{"language":"en","value":"Ramsey's theorem and K\u00f6nig's lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5126639"}},"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":"Q866890$9FF9E632-4A25-45B3-BAC4-9F095D0A46FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe0ff7e4088dc85b79961ebcfe88293d6a87a83a","datavalue":{"value":{"text":"Ramsey's theorem and K\u00f6nig's lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866890$DCE03321-4BB1-4B8A-A541-5868E4260EDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edec0bebe726582f84bd6494cd81b060acd174e6","datavalue":{"value":"1114.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866890$2FEE022F-1426-41DE-9C06-98A3C87AE67C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95d701d8c2050106c936eea5486a9231707f3b72","datavalue":{"value":{"entity-type":"item","numeric-id":866889,"id":"Q866889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866890$251037D8-97F4-422C-9728-57E469CFC9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35fb3eb7a1147d357f99c266e6deda806ba8a90f","datavalue":{"value":{"entity-type":"item","numeric-id":404460,"id":"Q404460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866890$174FF1AC-7204-49A9-BB9D-BEF39FCC5567","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866890$3CE6F612-CD4B-4D88-B973-D4F8AD44B34E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a94159f4ab38d8d1a06ee095402a858d13e226d9","datavalue":{"value":{"time":"+2007-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q866890$6D40DE35-1E2C-4C41-BB2D-73EF07888FA9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bba62bfbad89c3b8df98fca6d2d2b0d73d0078ff","datavalue":{"value":"Let \\([X]^n\\) denote the set of \\(n\\)-element subsets of \\(X\\). For natural numbers \\(n\\), \\(k\\), Ramsey's theorem \\(\\text{RT}^n_k\\) states: For any infinite set \\(X\\) and map \\(F: [X]^n\\to k\\), there is an infinite subset \\(Y\\subseteq X\\) such that the restriction of \\(F\\) to \\([Y]^n\\) is constant.   K\u00f6nig's infinity lemma states: An infinite tree having finite levels has an infinite branch. Then the authors prove: K\u00f6nig's lemma follows from \\(\\text{RT}^2_2\\).  Further: For each fixed \\(n\\), the statements \\(\\text{RT}^n_k\\) are equivalent for all integers \\(k\\geq 2\\). If \\(n_1\\geq n_2\\geq 1\\) and \\(k_1,k_2> 1\\), then \\(\\text{RT}^{n_1}_{k_1}\\to\\text{RT}^{n_2}_{k_2}\\).  Corollary: For each \\(n\\geq 2\\), K\u00f6nig's lemma follows from \\(\\text{RT}^n_2\\).   For any sequence \\(\\sigma= (\\sigma_k: k\\in\\omega)\\) of positive integers, let DC\\(_\\sigma\\) be the statement that any tree in which all elements on the \\(k\\)th level have exactly \\(\\sigma_k\\) immediate successors, has an infinite branch. The last theorem considers implications \\(\\text{DC}_\\sigma\\to \\text{DC}_\\tau\\), for infinite sequences \\(\\sigma\\), \\(\\tau\\) of positive integers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q866890$AC8E013B-43B6-428F-B7B9-817490F3F0D2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c80e484e125b4b2e6f1eb4b1b0abd66d7cb4aba7","datavalue":{"value":{"entity-type":"item","numeric-id":587966,"id":"Q587966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866890$F4CE8A21-A45D-4B2C-966C-2EDF7BE9F1A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866890$F4B748DF-5C92-4FB9-9151-7577148DDFE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8066aef219f79ef88b7838fc75d283c72e2a8554","datavalue":{"value":"5126639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866890$930A86B8-015A-4DA8-9D8C-61E3012A3974","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q866890$6444A2EA-AA15-45FF-958A-20092AE2E8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06787681169b06aa6ebc24a622e3c68f2767c214","datavalue":{"value":"K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q866890$C2059091-2440-421A-9E21-749AFB275315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4acb7684b8b524b3c0711bfca9cb17211598f716","datavalue":{"value":"Axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q866890$166FB8D9-1266-4F6B-BCA3-939363C992B6","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":"Q866890$263BB301-C561-45E9-B10A-874648571F54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"681708f63b5fa3b3f7d445f0cb27ccbf69875ed7","datavalue":{"value":"https://doi.org/10.1007/s00153-006-0025-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q866890$ED505A12-5F00-42FA-8397-279D1865FC7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aea5a74f1bca2c96f2fd90297a23a8b4d6ec0778","datavalue":{"value":"W2093301140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866890$EC3DE495-6363-4510-86FB-C5109F80B6B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b45325716248e1fc47d1b99b33128440c57f82","datavalue":{"value":{"entity-type":"item","numeric-id":4152540,"id":"Q4152540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866890$5D2C2375-2849-4F16-A5A4-91F1C5C90D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6084574919df1fabb6811a7478d7ce895596b0c7","datavalue":{"value":{"entity-type":"item","numeric-id":4210469,"id":"Q4210469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866890$84C1184B-076B-43EE-BDB2-94C5ABADC106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3312e90aeddeaee6c59c638159b0ba106c727abc","datavalue":{"value":{"entity-type":"item","numeric-id":5577068,"id":"Q5577068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866890$F77B9B4B-CE5D-44A1-A47A-AB0292864937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269de5b658a6f3c68aa0c7b0f62e0342580b8986","datavalue":{"value":{"entity-type":"item","numeric-id":1892935,"id":"Q1892935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866890$D88C1C8B-DC69-4023-8D1F-9DA42E2B299D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b0c7055af3900b448087131f8ac21a6ed1e40c2c","datavalue":{"value":"Q124866322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866890$33BE6D30-FF00-4E55-9C0B-DBD2086C9157","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66f069b317b422cb29a930e2908573cea85656cf","datavalue":{"value":"10.1007/S00153-006-0025-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866890$DD0DB33B-63AD-491D-AFC3-00F5588CD949","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e4df56d75e71496ae2fc7a585d83a906c206ca","datavalue":{"value":{"entity-type":"item","numeric-id":4899173,"id":"Q4899173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6eadb8697979c488d74f05253924dc87a92f99c","datavalue":{"value":{"amount":"+0.833974301815033","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":"Q866890$F0FFC2A7-573C-47D3-AD26-B9B5D97DD680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab542de1a31371e809e72e02a8c90564be6f0a62","datavalue":{"value":{"entity-type":"item","numeric-id":5004544,"id":"Q5004544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e57e4415989b616015f201b89d5eecda29043a0","datavalue":{"value":{"amount":"+0.8209511637687683","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":"Q866890$2F72D85E-1DC1-4CE1-9DA2-2E413840703C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12cd2d9b2abd0686998793010b04c658af22212b","datavalue":{"value":{"entity-type":"item","numeric-id":4977228,"id":"Q4977228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6995210b638c7f9afa2c33290d78b45b2138db13","datavalue":{"value":{"amount":"+0.8103159070014954","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":"Q866890$8CB43AFC-67DD-4588-9AD8-9C9D75580588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f93323efb147ed4ce5137e4c882728378ea631","datavalue":{"value":{"entity-type":"item","numeric-id":4931100,"id":"Q4931100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ac28b67ae5f4e312342defcbef7c1305f8ccf1","datavalue":{"value":{"amount":"+0.8092970252037048","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":"Q866890$011DE286-061E-4D3E-938E-4E673C77FB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ebe661f5c6c000d367ab0afd372c3bafaeda024","datavalue":{"value":{"entity-type":"item","numeric-id":2182273,"id":"Q2182273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e870d8823ccca4058d64726e2048ab0c299053d1","datavalue":{"value":{"amount":"+0.7871482968330383","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":"Q866890$90DA9B94-EDB9-4C78-984A-68C9E71F1A49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ramsey's theorem and K\u00f6nig's lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ramsey%27s_theorem_and_K%C3%B6nig%27s_lemma"}}}}}