{"entities":{"Q2401425":{"pageid":2412168,"ns":120,"title":"Item:Q2401425","lastrevid":74305008,"modified":"2026-04-14T19:26:59Z","type":"item","id":"Q2401425","labels":{"en":{"language":"en","value":"A dual Ramsey theorem for permutations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6772911"}},"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":"Q2401425$101E45F3-15EC-4791-A11B-8C993291F0D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f10320fc1a9a2c8db70d23ec12634c624a1c6ad6","datavalue":{"value":{"text":"A dual Ramsey theorem for permutations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2401425$1D108903-BD0E-48A5-BDAB-41F975159A7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c28125f0d0193146b6dc84e80046e708096c9660","datavalue":{"value":"1369.05200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401425$9A00B6C3-4931-4004-BB5F-9E966D00B353","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7185d7ebd8e2631b4693b234509516b067f723fd","datavalue":{"value":{"entity-type":"item","numeric-id":236468,"id":"Q236468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$E55EFE00-1F4C-4C47-B4EE-1323683ACD72","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":"Q2401425$D0165708-18AE-4AE1-81F8-7B413DF4501F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c67d8078e1a5d9d2033371c1c5369954e233b550","datavalue":{"value":{"time":"+2017-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2401425$2C90E5AE-C12C-49AF-828C-9AF37BBF8A72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf5fc26936025e369831466495daa87b245be532","datavalue":{"value":"https://arxiv.org/abs/1702.06596","type":"string"},"datatype":"url"},"type":"statement","id":"Q2401425$5DA22E7B-5366-44A3-AE45-492E82A71608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"18fe8968f6365d2644ca11721d7e4a3441d143a3","datavalue":{"value":"http://www.combinatorics.org/ojs/index.php/eljc/article/view/v24i3p39","type":"string"},"datatype":"url"},"type":"statement","id":"Q2401425$BFEED536-FF0D-476D-A21B-7FEC975B883A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2d3f62fa982b2aea8b1070a7c8a2a01afaf19a1d","datavalue":{"value":"Summary: \\textit{M. Soki\u0107} [Order 29, No. 1, 1--30 (2012; Zbl 1254.03066)] proved that the that the class of all finite permutations has the Ramsey property. Using different strategies the same result was then reproved by \\textit{J. B\u00f6ttcher} and \\textit{J. Foniok} [Electron. J. Comb. 20, No. 1, Research Paper P2, 10 p. (2013; Zbl 1267.05284)], and by \\textit{M. Bodirsky} [ibid. 21, No. 2, Research Paper P2.22, 13 p. (2014; Zbl 1300.05311)] and in 2015 yet another proof was provided by M. Soki\u0107.{  }Using the categorical reinterpretation of the Ramsey property in this paper we prove that the class of all finite permutations has the dual Ramsey property as well. It was \\textit{K. Leeb} [The categories of combinatorics. Combinatorial structures and their applications. New York: Gordon and Breach (1970)] who pointed out that the use of category theory can be quite helpful both in the formulation and in the proofs of results pertaining to structural Ramsey theory. In this paper we argue that this is even more the case when dealing with the dual Ramsey property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401425$374C00DE-8671-40A1-96CC-31E6C8B6993E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401425$7BADB822-5939-4FB8-A680-8AA83CE53703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8afe3c5a9fa0449dca60371c176beebeb6e1d999","datavalue":{"value":"05C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401425$BE9B337C-4DB8-47C9-BA47-954D775BBFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd14109b728357c96051ccc125db5e1d8c36ea77","datavalue":{"value":"18A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401425$FBC02615-0EB1-43FE-B31B-6EBAD586DCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401425$3E0CBB36-429A-49FC-8120-DA33D4AE4293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401425$73B8EC61-847E-4F14-A3BF-F8BCFAA58916","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"725b5a9544f5c4880c01494e77fb18002f83e331","datavalue":{"value":"6772911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401425$4C488D68-536B-4234-8C16-DE5F7EBA23B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca7211739210eb082dbdc826db6f92d181a6ad55","datavalue":{"value":"dual Ramsey property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401425$FDCB2CCE-BE79-47E2-906F-03A65A648AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31981f24df7cf2586ac3d7f2bb1da64623a077a7","datavalue":{"value":"finite permutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2401425$85D5236F-BDE8-48F1-B19A-5D2D746D5035","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":"Q2401425$31D20B03-43F3-4BC8-A3B4-1B9977366CAD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"769380f267bbf616cd5b7fe30dddc64250579454","datavalue":{"value":{"entity-type":"item","numeric-id":4172050,"id":"Q4172050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$025BECCA-3E55-4A5A-A365-01899128B550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$BF3DD803-0C92-4F25-BD09-0DB299E895EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71defbbe57e55fdaf92cb74762942827f744f973","datavalue":{"value":{"entity-type":"item","numeric-id":405215,"id":"Q405215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$4E731C94-397C-4886-AB07-547368E7D94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd16146034e787c0a55d7831e7fc7a6c249674d","datavalue":{"value":{"entity-type":"item","numeric-id":1953372,"id":"Q1953372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$1A633CAF-5BDB-4FA9-B671-6C3BFB2DF984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24266340bb6a7ba48df01f206af29d54d65e8fdd","datavalue":{"value":{"entity-type":"item","numeric-id":4410008,"id":"Q4410008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$5CE97072-3461-46D3-9F6B-FC1325819C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a47be09afd8db4b724895ceb8b1fadc44f71259","datavalue":{"value":{"entity-type":"item","numeric-id":5641148,"id":"Q5641148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$E6C9425C-D219-4339-8E8A-F103737BD257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3647fe00e3b83141b14436c1949063f538c83988","datavalue":{"value":{"entity-type":"item","numeric-id":3997075,"id":"Q3997075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$5A57D592-3D0A-4F4D-AF67-6443481DB00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f05271b6bd52e91e95df0742824fdaa35d1c2e","datavalue":{"value":{"entity-type":"item","numeric-id":4128611,"id":"Q4128611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$BA86E9FC-486B-478C-B994-77A2FD10264E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100294407f6655805b1dbc4f19176cf526fc4c6d","datavalue":{"value":{"entity-type":"item","numeric-id":888635,"id":"Q888635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$7FC99E31-4899-4C96-85BB-5FAD1D6706B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c87c30fab4fb10d56bdfdb3138fdfe5383fcc111","datavalue":{"value":{"entity-type":"item","numeric-id":2411687,"id":"Q2411687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$2A58FE5A-59E3-4809-92E8-A2966E1CE638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7014eea8e2ba4d9052c08c9e0e557b227a54bc1","datavalue":{"value":{"entity-type":"item","numeric-id":4871773,"id":"Q4871773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$5DF1F870-F214-4732-B6AF-F23A9935F67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0df8a8146c23f2b34c50594258201ae600662e","datavalue":{"value":{"entity-type":"item","numeric-id":854846,"id":"Q854846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$DF4831A9-1C88-44F2-9653-00DCCCFDF124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4596ddba9f54b4d44d3d941fc0237df35d371967","datavalue":{"value":{"entity-type":"item","numeric-id":1239324,"id":"Q1239324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$8EA2226F-BA12-4E81-810C-54A11EB3786B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d1721f3a1e00d3cf235012c59a4475b9774a4c","datavalue":{"value":{"entity-type":"item","numeric-id":798338,"id":"Q798338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$E95B7A81-05BE-4888-BE4B-6C165154C038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c591a0a743ad90cd064509ca16087224c8ea24e3","datavalue":{"value":{"entity-type":"item","numeric-id":1084394,"id":"Q1084394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$28E1DE39-E153-4B6F-B296-0C88DD4751A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2ee83653578d8287898061048dabf91094b739a","datavalue":{"value":{"entity-type":"item","numeric-id":766149,"id":"Q766149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$AEC74EC0-AA3F-4FAE-B519-2D65CA1BCA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007afd873f16bb3c42be596dbee4e71d9931a728","datavalue":{"value":{"entity-type":"item","numeric-id":766154,"id":"Q766154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401425$CF01969E-55DD-4605-ACB6-7C20766CC66C","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"eb1f1586a7a60d4c206fe026c10da6c8465ee182","datavalue":{"value":"bafkreier4i7bwck6lnmfti5mk6s43xux4mmy2fwbawvnoioqs2ysj7vgxy","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401425$821C58DC-102B-49CF-A5AF-38F4D4AFE806","rank":"normal"}],"P1643":[{"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":"4094de7d5faec93baba40441c4a7374d5baafbcc","datavalue":{"value":{"amount":"+0.796141505241394","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":"Q2401425$259B978F-6805-423B-8A4C-66DE48FF28D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40c0aa7c9cd186dd4956743d7f95ad7df4e1d91b","datavalue":{"value":{"entity-type":"item","numeric-id":1686198,"id":"Q1686198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b23680767764b715b7fcd717d5dee0b6915fe1","datavalue":{"value":{"amount":"+0.7932193875312805","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":"Q2401425$5572E463-B814-4BDC-824A-DA97C0C64026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e9c254771974ffdcd80e51cfb669bc6a49d8c3e","datavalue":{"value":{"entity-type":"item","numeric-id":5234223,"id":"Q5234223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b9cba6df7f64c25ac0403a620568f0f0e8d2d2e","datavalue":{"value":{"amount":"+0.7921199202537537","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":"Q2401425$2D95A81E-3FE5-45E9-8AFC-D97509EBBED1","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":"b1a3cde281fdc3a638436456f15a4c0023a7e019","datavalue":{"value":{"amount":"+0.785586416721344","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":"Q2401425$5C25CC2D-6939-4AD4-841D-EDB461C6EC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ada7e881749061c82c17ca1bfbff92d4051ef6","datavalue":{"value":{"entity-type":"item","numeric-id":6171499,"id":"Q6171499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d01129d84939aae7387a01f55944e92d65b6dd1","datavalue":{"value":{"amount":"+0.7492718696594238","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":"Q2401425$4DE08E9C-C531-4D6D-8CCD-C4704846F05E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A dual Ramsey theorem for permutations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_dual_Ramsey_theorem_for_permutations"}}}}}