{"entities":{"Q6057486":{"pageid":13191641,"ns":120,"title":"Item:Q6057486","lastrevid":58654455,"modified":"2026-04-06T04:58:09Z","type":"item","id":"Q6057486","labels":{"en":{"language":"en","value":"Dual Ramsey theorem for trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7745869"}},"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":"Q6057486$6BD9687F-EADA-47DC-95AD-3EE3E70EC818","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2be03d192560d64006c5ffd9948bf86c7e2bde27","datavalue":{"value":{"text":"Dual Ramsey theorem for trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6057486$2746F127-52E2-4B35-BDFC-4E9119C93688","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd8bc9d63da8f9be6eb21f23d85fe05ba10fe64","datavalue":{"value":{"entity-type":"item","numeric-id":6057485,"id":"Q6057485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057486$0C32A704-73D2-4D5A-8695-81DC606924E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a87e84d22579e69c48ca0a6d828473db4dde3dd6","datavalue":{"value":{"entity-type":"item","numeric-id":168579,"id":"Q168579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057486$0BBC5358-1DA6-4FF8-9049-D4F2E4FD09D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31c936eef8b332040242af2e27eaff5bc37458f1","datavalue":{"value":{"time":"+2023-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6057486$BEA7F78A-FD48-4EEB-8FA1-60F9F5D30AF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7bf999fc2947d1a4d7045305226fdc6deca25c9","datavalue":{"value":"https://arxiv.org/abs/1502.04442","type":"string"},"datatype":"url"},"type":"statement","id":"Q6057486$B0FB4D10-01B7-4F6E-8BAD-1EF0773C2581","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf7a532b4f5e28ecfd0bad72c2159986235aa686","datavalue":{"value":"The aim of the present paper is to prove the Dual Ramsey Theorem for Trees, which is a common strengthening of two classical results -- Leeb's Ramsey theorem for trees and Graham and Rothschild's Dual Ramsey Theorem. It should be noted that the first one of these theorems is formulated in terms of copies of trees, and the second one in terms of partitions of finite initial segments of natural numbers. The author finds objects that generalize both: copies of trees and partitions. To this end, the two classical Ramsey theorems are restated in terms of functions. Their common generalization is then formulated using functions that turn out to come from appropriately modified Galois connections in the sense of \\textit{O. Ore} [Trans. Am. Math. Soc. 55, 493--514 (1944; Zbl 0060.06204)]. This generalization, which is the main theorem of the paper, is then proved with the use of the author's abstract approach to the Ramsey theory from \\textit{S. Solecki} [Adv. Math. 248, 1156--1198 (2013; Zbl 1283.05176)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057486$5D95BB17-B016-4A12-A65D-8C313A7C5D16","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af6f91027425e6a3e182e3068da26575ef8e093e","datavalue":{"value":{"entity-type":"item","numeric-id":190560,"id":"Q190560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6057486$A6AA049C-7B74-4391-A07B-151D02232F4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057486$6F108CF9-3630-4C2A-8535-21694455949C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8afe3c5a9fa0449dca60371c176beebeb6e1d999","datavalue":{"value":"05C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057486$AF602438-EBB9-42BA-8A5B-B32214F0B392","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"693e802b10e55122cac069427a21fb34863fca3b","datavalue":{"value":"7745869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057486$39E6DA18-AA13-4068-8563-56DFE84E12E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f9e038ce90ce67b356cbe14c3c3f15dfb789be","datavalue":{"value":"Ramsey theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057486$689521C3-40D1-48CD-B14D-A9AF11DB200D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c55864d845d7ada721a95fd0ef52b949038603c4","datavalue":{"value":"dual Ramsey theorem for trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057486$D7984329-00B6-4C22-8F7B-CF09EFB54681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99d50cc03f9621e87d1300d87a92e1d2d58606e","datavalue":{"value":"Galois connections","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057486$BE177BE9-4E8E-490A-B48A-88564425D407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef8a2dcf875138fb62f99413f2f6aa942e261a24","datavalue":{"value":"ordered trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057486$94D3A656-2871-49E6-9206-40D07F95AD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a19c3032e168f3d9c948287cb6eda8a98633c296","datavalue":{"value":"rigid surjection","type":"string"},"datatype":"string"},"type":"statement","id":"Q6057486$07CBCBF8-B54E-44DD-8632-0FAFCA0C0DC6","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":"Q6057486$2C00DB85-FED4-4EAE-827E-919C0050BD9F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2f94d4cd587fd9fc1a5f556b8217389a684194c0","datavalue":{"value":"Q123325842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057486$48E3E2D3-8B88-48E3-B507-F53AB900A596","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb29acd72be12d7cd966272487c51418a0194b23","datavalue":{"value":"W2283906624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057486$86D3209B-FEFD-45E8-972E-B888955B9547","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc0e22d7f7a07f462ff16ec4d46aeb6a657cb32f","datavalue":{"value":"10.1007/S00493-023-00009-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6057486$44C9108D-84CC-465C-A2B0-8DB83C16D096","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c6426c1ec0a2783c90e1ff891dd3c05bdb89d2","datavalue":{"value":{"entity-type":"item","numeric-id":1057862,"id":"Q1057862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8cd108d6af91260a867921d77f5bdc56b14b7fa","datavalue":{"value":{"amount":"+0.7943437099456787","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":"Q6057486$527DE091-126B-42BC-AD2D-86EB01C3257B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c8460dae0d3d278f3b9304ad621e1b9293f1d4","datavalue":{"value":{"entity-type":"item","numeric-id":4928678,"id":"Q4928678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5763f662eacc98b9b6742dbc301aa10feca071a1","datavalue":{"value":{"amount":"+0.7791516780853271","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":"Q6057486$C79FC36E-48E2-46D9-8ECD-A9AB81B5AC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f682cd9722b5439b013762ced1863b824162a8","datavalue":{"value":{"entity-type":"item","numeric-id":2437549,"id":"Q2437549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9acb0b68684dd73b9d870f068f4d6d6554ec743f","datavalue":{"value":{"amount":"+0.7777690887451172","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":"Q6057486$25D1D1BC-7D2E-434C-B6A0-768A6E1896F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf19d61b49ff2b10a99c3aab3e30e4993390d4f1","datavalue":{"value":{"entity-type":"item","numeric-id":3297037,"id":"Q3297037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32f23b4425a4cced83e2d0ea60af3ff1cabe9c3d","datavalue":{"value":{"amount":"+0.7667689919471741","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":"Q6057486$CA50FF60-6650-4795-9A69-9B7444FB90DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22b2bdb08da6ff39396cf2cc1acd880144081f0","datavalue":{"value":{"entity-type":"item","numeric-id":5142266,"id":"Q5142266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef14ef5280c7abf865dd9d30cfb508220b5a289","datavalue":{"value":{"amount":"+0.7490232586860657","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":"Q6057486$83B16F1C-B53F-45F3-B0E7-F97C1058D2AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6057486","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6057486"}}}}}