{"entities":{"Q628806":{"pageid":630654,"ns":120,"title":"Item:Q628806","lastrevid":63201072,"modified":"2026-04-11T11:17:09Z","type":"item","id":"Q628806","labels":{"en":{"language":"en","value":"Stable Ramsey's theorem and measure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5862018"}},"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":"Q628806$04920F1A-8E48-454E-92EB-9278180C3EE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c4f119354266d6fdf7f3326fda0cee15ed156cd","datavalue":{"value":{"text":"Stable Ramsey's theorem and measure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q628806$34C0B24B-91D2-4731-A553-AC8B713BB8D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d17a79804859ee73682952e1d5f338ad87fda3ad","datavalue":{"value":"1217.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628806$F07973AE-0CD6-4350-96C2-2132FFC9F9EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"406c19d565bba148774ed91b25e51361651196c2","datavalue":{"value":"10.1215/00294527-2010-039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628806$D6828A3C-39BE-4BAF-A6FE-1C8A6376CADD","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":"Q628806$87B3FA86-7337-485D-9E0F-A8306F9F470A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628806$5A34A2CB-B37E-4B32-802A-851F0B5E4B83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18d153db87c8aa6053edbe5427a634df51843ee4","datavalue":{"value":{"time":"+2011-03-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":"Q628806$BC1027B4-1514-48C2-A934-D355AD4DBBAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcd5967a2cd9495f9da49486e436a8ad9a21c3b2","datavalue":{"value":"https://arxiv.org/abs/1010.2230","type":"string"},"datatype":"url"},"type":"statement","id":"Q628806$708C71B0-52FE-4D50-9853-A1F504518214","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d93c159edb5f6686f3d1f5d6f79afbbf6d25aba8","datavalue":{"value":"A finite coloring of pairs \\(f: [{\\mathbb N} ]^2 \\to k\\) is called stable if, for each \\(s\\), the limit \\(\\lim_{t \\to \\infty} f(s,t)\\) exists. \\textit{P. A. Cholak}, \\textit{C. G. Jockusch jun.}, and \\textit{T. A. Slaman} [J. Symb. Log. 66, No.~1, 1--55 (2001; Zbl 0977.03033); corrigendum ibid. 74, No. 4, 1438--1439 (2009; Zbl 1182.03107)] studied the reverse mathematics of SRT\\(^2_2\\), a formalization of Ramsey's theorem restricted to stable colorings. This paper introduces the principle ASRT\\(^2_2\\), which asserts that, for every martingale approximation \\(M\\), there is a stable two-coloring that is not in the success set for \\(M\\) and that has an infinite homogeneous set. This formalizes the notion that the collection of colorings for which SRT\\(^2_2\\) holds is not small, that is, not \\(\\Delta^0_2\\)-null. The author proves that over RCA\\(_0\\), ASRT\\(^2_2\\) implies DNR but neither implies nor is implied by WKL\\(_0\\), and also that ASRT\\(^2_2\\) does not imply SRT\\(^2_2\\) or COH. The paper also explores the principle ASRAM, a measure-theoretic adaptation of the assertion that for every \\(X\\) there is a \\(Y\\) such that every \\(X\\)-computable stable coloring has a \\(Y\\)-computable homogeneous set. Many of the proofs involve construction of \\(\\omega\\)-models based on results concerning \\(s\\)-Ramsey and almost \\(s\\)-Ramsey degrees, relating the work to that of \\textit{J. R. Mileti} [Bull. Symb. Log. 11, No. 3, 411--427 (2005; Zbl 1097.03037)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q628806$B58B381C-B14A-4DF7-8D4C-3AC020A4CF5F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q628806$47A38BA4-0CFA-4CD5-9D56-0CC2A55712CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628806$4CF6CA57-8CF0-479B-9F2F-436B2F13D23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bfc1b1c272474384546bcd37c9164f9d239a9903","datavalue":{"value":"03D32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628806$D1C43977-6128-4EE5-8BEF-290568031180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628806$6C55163E-95CD-47DD-A861-3F9CF88ED41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628806$7A3C89F6-EDDC-4B91-A266-2BBD2A1D1BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628806$36FD8D1C-7599-4A96-AA19-756538E29C13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d1370e277f1abc30f8b7258b3f168ce638df331","datavalue":{"value":"5862018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628806$5CC3BE8B-5EFE-4258-9DAA-2FBDCDF415C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q628806$D6C6720D-C15E-4593-AEF3-CCDD32F8B4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6808ab21c1a33e59bacf7e86272365d0ad6e0a68","datavalue":{"value":"effective measure theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q628806$856D257B-DFC7-4AA3-A128-A5606D0A7E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q628806$01363A32-F653-4D0E-A591-C2851466748D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f96ca8a7f562a654e1009077769687ade3752dde","datavalue":{"value":"s-Ramsey","type":"string"},"datatype":"string"},"type":"statement","id":"Q628806$09D90E92-A329-46D9-A228-33E405F2B1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1daad792015e31c3b46c45734af21ade6af479","datavalue":{"value":"SRT","type":"string"},"datatype":"string"},"type":"statement","id":"Q628806$48F7FFAA-E140-4F36-B4E5-656E485F6A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02b2489da65d8671325dff2d88c0e32fd9a0c3a1","datavalue":{"value":"ASRT","type":"string"},"datatype":"string"},"type":"statement","id":"Q628806$1641400E-B31C-4B21-A6DD-B3E3F8967148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab527c2042213e4011078146ce638c91da9401f1","datavalue":{"value":"SRAM","type":"string"},"datatype":"string"},"type":"statement","id":"Q628806$CFCA3368-78CD-4B70-8422-0754D5CA83C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26a40cde15ac32ef5e2936f4251e20a189b28649","datavalue":{"value":"ASRAM","type":"string"},"datatype":"string"},"type":"statement","id":"Q628806$4930F92A-3F8D-4E20-8AF1-7680ACFF38D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b97af56225077a16b53544922a29c89ad968156","datavalue":{"value":"DNR","type":"string"},"datatype":"string"},"type":"statement","id":"Q628806$25257194-E464-441C-B98D-AF31E6B670F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3b7131543721cb44812ebb9a492a043c37c6473","datavalue":{"value":"COH","type":"string"},"datatype":"string"},"type":"statement","id":"Q628806$E4258E0F-6FF0-44AD-B9FE-2818C20C9AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8303a89e5e979e44e65aa210688e1071093c7c30","datavalue":{"value":"martingale","type":"string"},"datatype":"string"},"type":"statement","id":"Q628806$F7A51CE5-BBA2-4810-8CC6-565F25BFC090","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":"Q628806$D6C17EC0-E0BD-424A-9BB7-C4F9CF3085A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fabf00d66829a8caef2426b9cb02783f5e980433","datavalue":{"value":"W2018605737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q628806$3C1D1D0F-A1D4-40EF-B697-88360B4BA1B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45d8573794ada1aa64f19f03d8c714a44e3e92e","datavalue":{"value":{"entity-type":"item","numeric-id":3530396,"id":"Q3530396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce40164bcacc008bf003a034041b4a52f258a228","datavalue":{"value":{"amount":"+0.805521547794342","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":"Q628806$158A7FC5-21D8-480A-9055-B02000DEC251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b73d3d0ca97dd10dce841825c231f7475b8844","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87930522d480a74b0f4b0b704f7cf51d109898f5","datavalue":{"value":{"amount":"+0.8047627806663513","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":"Q628806$3FA7327E-CF18-41BD-BC0D-854D373A9A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b45cd3aeefff8cfe9b670fd8245367a079b14dd","datavalue":{"value":{"entity-type":"item","numeric-id":3655258,"id":"Q3655258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3462cb7afea6826e6031d5513f9850188365260e","datavalue":{"value":{"amount":"+0.8047623038291931","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":"Q628806$08C66F75-36DD-477E-BBCD-988F161425BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24068a71d5b028c5d360eb7d490add663f7223c9","datavalue":{"value":{"entity-type":"item","numeric-id":2951171,"id":"Q2951171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c710a8458d10eb585f592fa4d338cbd19b1035fc","datavalue":{"value":{"amount":"+0.7955697178840637","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":"Q628806$1A308BE5-EF4E-43DB-8F30-B3A262759C5A","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":"43412c38d51ae6fef1e9b51ce1afb1ecaa7d74dd","datavalue":{"value":{"amount":"+0.7904947996139526","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":"Q628806$C7E88636-3088-4485-83F9-2C74A5D1B5FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stable Ramsey's theorem and measure","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stable_Ramsey%27s_theorem_and_measure"}}}}}