{"entities":{"Q1014283":{"pageid":1016131,"ns":120,"title":"Item:Q1014283","lastrevid":65954394,"modified":"2026-04-12T06:33:42Z","type":"item","id":"Q1014283","labels":{"en":{"language":"en","value":"The polarized Ramsey's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547508"}},"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":"Q1014283$0AA2B07E-D7EF-4B31-94DE-AF7405F07909","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f800dd8d181892624697f3cb711559cbec3f4337","datavalue":{"value":{"text":"The polarized Ramsey's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1014283$56D56658-BC47-4B3B-973F-E98CB2915596","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7910f3da59f578a8815df6af690b58659af0817c","datavalue":{"value":"1172.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014283$43ED3A6B-4FD5-46C0-B34B-572C6B42C046","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df47b160552dc894c1aa471ca705195c5906bca7","datavalue":{"value":{"entity-type":"item","numeric-id":375887,"id":"Q375887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014283$7515BDD6-86A1-4A42-B86F-9BC06FCBB1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5122a321cfb515186c4448a4fbfba8604b1bf26","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014283$35313AAA-E4A7-4B53-8962-28E61DABD45E","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":"Q1014283$A1A814B0-BFA8-4147-B475-26555D1015E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f40d4a7d32e7e554cba8a4f57f931cf8b36f1589","datavalue":{"value":{"time":"+2009-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1014283$D7716784-1C2F-41E1-86B5-86EFE9B5B5DC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b613776a423d86c01fe6c6ca8c7906d037a905d8","datavalue":{"value":"The authors study the proof-theoretic strength of a version of Ramsey's theorem called the Polarized Ramsey's Theorem.  Given a coloring \\(f: [\\omega]^n\\to k\\), a \\(p\\)-homogeneous set for \\(f\\) is a sequence \\(\\langle H_1,\\dots,H_n\\rangle\\) of infinite sets such that for some \\(c\\), \\(f(\\langle x_1,\\dots,x_n\\rangle)=c\\) for every tuple \\(\\langle x_1,\\dots,x_n\\rangle\\in H_1\\times\\cdots\\times H_n\\). If this is true only for increasing tuples, we call \\(\\langle H_1,\\dots,H_n\\rangle\\) an increasing \\(p\\)-homogeneous set. The statement of the Polarized Ramsey's Theorem, denoted by \\(\\text{PT}^n_k\\), says that every coloring \\(f: [\\omega]^n\\to k\\) has a \\(p\\)-homogeneous set. The statement of the Increasing Polarized Ramsey's Theorem, denoted by \\(\\text{IPT}^n_k\\), says that every coloring \\(f: [\\omega]^n\\to k\\) has an increasing \\(p\\)-homogeneous set. We use \\(\\text{RT}^n_k\\) to denote the usual Ramsey's theorem for \\(n\\)-tuples and \\(k\\) colors.  The authors show that for \\(n\\geq 3\\) and any \\(k\\), both \\(\\text{PT}^n_k\\) and \\(\\text{IPT}^n_k\\) are equivalent to \\(\\text{RT}^n_k\\), and hence to \\(\\text{ACA}_0\\) over \\(\\text{RCA}_0\\). For \\(n=2\\), they get that, over \\(\\text{RCA}_0\\), \\(\\text{RT}^2_k\\leftrightarrow \\text{PT}^2_k \\rightarrow \\text{IPT}^2_k\\), and over \\(\\text{B}\\Sigma^0_2\\), \\(\\text{IPT}^2_k\\) implies the Stable Ramsey Theorem \\(\\text{SRT}^2_k\\). They also analyze the stable versions of the polarized and the increasing polarized Ramsey's theorems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014283$88D3BE14-2507-4FF5-A2F9-D435BD51FC5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014283$051BF233-615D-40A2-ABAF-20423BDB29A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014283$812632EB-8E49-492A-8C27-E6F2E924680C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014283$232CB387-76F8-483F-BFA6-25FD4DED9EF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8612d65d82827557dcfd982f859fe356bff927b2","datavalue":{"value":"5547508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014283$838FE4B5-A3D2-4DF4-B12E-3723086F2BB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014283$B387A46E-38B3-43E6-B073-670640CE7D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014283$CA2DE94F-139B-4D33-9C9A-74959667419F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0a67f77b8c1da6e34278d8eb54be6e5a28a3dcd4","datavalue":{"value":{"entity-type":"item","numeric-id":453199,"id":"Q453199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014283$7F6B47E3-32A9-42A8-BA95-7DCFBD5CD7FC","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":"Q1014283$CC740856-5E83-4BCD-9DF6-8855CDA4EE9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b29c71f17cd07b36e7033983fd9949ae117ab78","datavalue":{"value":"https://doi.org/10.1007/s00153-008-0108-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1014283$DB531F1F-0125-4C9D-A156-7169A4B6D204","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"603aad2f69a338ce850860c7b5e604c22b9a475e","datavalue":{"value":"W2024864091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014283$F485DF56-F38B-48B5-97AC-D9703BC257CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014283$7EB8A67B-DC2F-4224-9CD4-AAEF97F13C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40a6dd3dc8830892bea0568f55b7570e360cbd6e","datavalue":{"value":{"entity-type":"item","numeric-id":2758065,"id":"Q2758065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014283$676B2623-DAEE-4DC8-9614-475046A7569F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5bef25bf28ebce0c8dc4719615dc3b84fe63927","datavalue":{"value":{"entity-type":"item","numeric-id":3233344,"id":"Q3233344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014283$D2EF9A3F-2988-4269-95B4-3428D80176F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86317a24ff1a69701fa28b9d706f9fc28cca249","datavalue":{"value":{"entity-type":"item","numeric-id":4527932,"id":"Q4527932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014283$266C133D-DE98-4C25-97F6-2950A659AEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ceac5e948dd61c117b65d76cfc087baefafa79","datavalue":{"value":{"entity-type":"item","numeric-id":3530396,"id":"Q3530396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014283$26672686-86C8-4173-957F-943992125D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73aacf0d9eee94cb147aba63928e7a70459be73","datavalue":{"value":{"entity-type":"item","numeric-id":3426570,"id":"Q3426570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014283$4CE1E672-5109-4C97-9A75-940C0F92A141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc68fbc256a340ad9770614b514ab49182f4bdd","datavalue":{"value":{"entity-type":"item","numeric-id":5677475,"id":"Q5677475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014283$A472381E-BD53-4CB6-AEC6-6C345231A4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf67e5c77bdefcc878c1a3ad7fdf95f68a51bea3","datavalue":{"value":{"entity-type":"item","numeric-id":2534881,"id":"Q2534881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014283$151F19CD-0F11-4AE1-8BE8-E31AECE3973C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c09d38e51ffc8a5463a59b27b18c16fabfdb3ee","datavalue":{"value":{"entity-type":"item","numeric-id":3370615,"id":"Q3370615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014283$A267C4CF-5A4F-4A6F-8AE0-F539FF20D727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3145791be41afb1e842f815f01a740997a825544","datavalue":{"value":{"entity-type":"item","numeric-id":1913632,"id":"Q1913632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014283$10E98AB8-68D2-4350-BF62-24E6BBB25F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014283$17EDC56D-DF27-4789-8CCD-49F0BA712146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014283$06506F23-F7B0-4322-8143-547EA5952B27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38f4002ba03ed88d05bffc973f1b9694ff7c1397","datavalue":{"value":"10.1007/S00153-008-0108-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014283$4C3DA219-C8D7-448E-9D47-AE443619ABF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b76466805392a83a9eed17a0116aaf97761a72","datavalue":{"value":{"entity-type":"item","numeric-id":964459,"id":"Q964459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab14d0143c27214db07787a4945a167afa394035","datavalue":{"value":{"amount":"+0.84078449010849","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":"Q1014283$0CDE7390-E8C7-4DCA-A8D6-89527AC90150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55d273dfec0c389d63dbfd03748fb5e9e955b39d","datavalue":{"value":{"entity-type":"item","numeric-id":5247024,"id":"Q5247024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ffa2f847cb5230c448bc752ef6a3afc2952cfd","datavalue":{"value":{"amount":"+0.8243052363395691","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":"Q1014283$C37C9DBF-DF56-4ECE-B487-D5366D00A881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"906149f1516822330002e2a251afeb9f9791da2c","datavalue":{"value":{"entity-type":"item","numeric-id":4600456,"id":"Q4600456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8153ef7b4128ef50e431019a3f9bf28a9e2b22","datavalue":{"value":{"amount":"+0.7984925508499146","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":"Q1014283$964ED1C6-8C70-44D5-B003-27FA6E75EB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e213e5a57a2230f087bf04f0c671ed2e5c54400","datavalue":{"value":{"entity-type":"item","numeric-id":4323045,"id":"Q4323045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b87366a6265d254e9ff082b02348d3d4cdad0767","datavalue":{"value":{"amount":"+0.7839477062225342","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":"Q1014283$FDFA2478-6EC3-480B-BF11-DFCCACC1C4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956b97ae9bd786765e9ca0896991f9818b597f0c","datavalue":{"value":{"entity-type":"item","numeric-id":1913632,"id":"Q1913632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecabb2c22fe584c506fb409937a4841ab15c731e","datavalue":{"value":{"amount":"+0.7798788547515869","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":"Q1014283$FBE57F24-808C-4556-8B53-79ADD51E46BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The polarized Ramsey's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_polarized_Ramsey%27s_theorem"}}}}}