{"entities":{"Q2732267":{"pageid":2743006,"ns":120,"title":"Item:Q2732267","lastrevid":41943657,"modified":"2025-05-19T08:48:49Z","type":"item","id":"Q2732267","labels":{"en":{"language":"en","value":"On the strength of Ramsey's theorem for pairs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623510"}},"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":"Q2732267$64D667D3-8F44-4686-9A64-7BCCE409A3B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a591a4ac96ddcb6a5e113b81c7992e56e15b739c","datavalue":{"value":{"text":"On the strength of Ramsey's theorem for pairs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2732267$FCF3B8F9-B614-4E85-83E6-79827F2130E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10e63334b20ae56f69be3e6d1efb0afb376ecd7b","datavalue":{"value":"0977.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732267$A47F170D-EC86-46D7-918E-EC0B72D5E2ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"378921be5fb9135de4194eb2b58a5a60ba8909b4","datavalue":{"value":"10.2307/2694910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732267$A352BBBC-9332-47F1-A942-EFCD9807E8E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"013387cf05741829c5cb1447cab126ab3f6ccb0e","datavalue":{"value":{"entity-type":"item","numeric-id":435198,"id":"Q435198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732267$83C06500-E136-4EB9-AAAD-628F1C414713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0b22c597c8b573856274c0b9425ef5e44cb3896","datavalue":{"value":{"entity-type":"item","numeric-id":654000,"id":"Q654000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732267$5E70945B-42F8-41C3-A027-7C8C0783CBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a89229a66bdfdb3e2e5619b7e8031866b3343269","datavalue":{"value":{"entity-type":"item","numeric-id":189917,"id":"Q189917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732267$73A4F066-5F8D-44CF-8DC9-B6F9A749DF57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d99679be6596c8cc4e11d1bbb5f9466f6a2a85c4","datavalue":{"value":{"time":"+2002-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2732267$7BCC1945-DD82-4B0A-9958-F965FDCADE11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2629e1bce354c0da3f82edff1e8fa80585fad5e","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.5115","type":"string"},"datatype":"url"},"type":"statement","id":"Q2732267$E513502A-4D27-4940-8365-CCF661A6EA3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732267$77732F10-7937-47E2-A0DE-3333AC7EAC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732267$1FBF7272-BB5E-4459-A895-F522CA3DC19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732267$6239AB15-1E71-456E-9442-C21A7FE22AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732267$855FA71F-56FC-4FFD-B92C-D55D606FCD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732267$207D1213-48AE-4BCB-A08A-F9012496D0C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55f786a40caf2678aeda0a72b07d20aa75875d89","datavalue":{"value":"1623510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732267$EF267CDB-BF2E-41C5-8B39-6B31505AAF11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732267$1B548253-B976-41DA-B3CB-23441E69195E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732267$17958527-7C79-4EBE-88D2-0CC3D69784E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732267$11C28AB2-721D-42AB-B26D-C1265AD64458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732267$DF1590FB-3A0D-4CFC-8F6B-2F54E4AA8C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ece27df4663c7fd54c61ee7602b62b0604cc6a","datavalue":{"value":"conservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732267$AF6216DA-696F-4DCB-8346-A6A4138CDC08","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":"Q2732267$1202A48F-303B-48B1-8401-5EC35903F621","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3bbf08dccd99dd61919bda1ef8876bf6038cb90","datavalue":{"value":"W2148962283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732267$05D4834F-D372-4BFD-A062-B0804D744B60","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0398107864c1e6ac65e7156ee567ca2f7052263","datavalue":{"value":{"entity-type":"item","numeric-id":4262567,"id":"Q4262567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732267$01C0AE89-9C3B-4051-8250-CA2FAA75BB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c90199f1e6aee81fd74ab65b582612d33806680","datavalue":{"value":{"entity-type":"item","numeric-id":3665087,"id":"Q3665087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732267$F65FC2EE-F1A7-4C82-8CE5-DA518D61D902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028ad29d229cd0585f9745b88c81a5dd5434b774","datavalue":{"value":{"entity-type":"item","numeric-id":4323045,"id":"Q4323045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732267$C021160C-2455-4F08-B74D-4EDAA8696AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732267$79E8947D-EAE8-48AD-A7D3-3AC4CBF70777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732267$7C940B2E-82B3-4824-B78F-0960318A0666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75fb05ff45c85c418587a5c71d455d08c4df02a","datavalue":{"value":{"entity-type":"item","numeric-id":768100,"id":"Q768100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732267$E5F0EEEA-DD53-420D-AFE3-E8F4B78E1D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d06b5f4c703493afa11a35957cdaea722b1351d","datavalue":{"value":{"entity-type":"item","numeric-id":2563983,"id":"Q2563983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732267$7BB50F1C-8E96-4513-BE6F-9D7391428491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732267$43C18DDF-4EB4-40A1-8C91-B5AE2DE2EE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a741ee1e1772f56d290380cb62f418c22e3e412","datavalue":{"value":{"entity-type":"item","numeric-id":4304787,"id":"Q4304787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732267$42ABDA08-1F3A-4A9F-AAF9-25850B62B002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04918380c7e36dc72e72591ef80b07a5da57de19","datavalue":{"value":{"entity-type":"item","numeric-id":5659493,"id":"Q5659493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732267$03E9D2FB-C24A-48CD-AE6E-BE3DF90BAE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a45c80e903392eb8b3b993547de46171e902443","datavalue":{"value":{"entity-type":"item","numeric-id":1394222,"id":"Q1394222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732267$481A039C-55A5-490C-897F-D155FE938300","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":"Q2732267$587DD25E-F988-4F71-BE81-9B4A8345D7DC","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":"d5c44e2bd3bdd82c3a4c05e855a108fb0db569ab","datavalue":{"value":{"amount":"+0.96480954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732267$431A6D2A-682B-4C62-955E-CBDB423BD13B","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":"20292bc4db39428aa430f4ffb1a331c0b71c62c6","datavalue":{"value":{"amount":"+0.9641062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732267$9CDA6E2D-FFE5-45A6-9246-838D46B4D9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c7b588e9e63c7de65c54b22daee5fd4cbd1d18","datavalue":{"value":{"entity-type":"item","numeric-id":507201,"id":"Q507201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c1983fd0046d10d9f2fefaf62f96b18dcde5660","datavalue":{"value":{"amount":"+0.9576069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732267$190D86FF-2EDD-4964-84FD-3AE2FE8D5F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5919fe0474d517f024afbc61f253715447499c9","datavalue":{"value":{"entity-type":"item","numeric-id":4647115,"id":"Q4647115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7df613b14a87732ec7ec8b3fcced48d6a42eb1a7","datavalue":{"value":{"amount":"+0.9395274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732267$7AC6EFA0-83DB-43DA-8DCB-CD81DC2EACE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da304cc127955d6011df962755fbdb986fa89afd","datavalue":{"value":{"entity-type":"item","numeric-id":1644984,"id":"Q1644984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab748bab3260a93bc1c968f617dc94e7e82062ef","datavalue":{"value":{"amount":"+0.93909776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732267$169C17D1-65C8-46C1-8FDE-FC156F4E2F46","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":"352d46760891ba5d3aa3c82bedaa14e66d26c003","datavalue":{"value":{"amount":"+0.9182303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732267$54A61A7F-09D2-43B7-9F35-F98DB67E11DA","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":"dbc10120486cd1303e7c2aa3f827ac7191e9f7f5","datavalue":{"value":{"amount":"+0.91406405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732267$0EF2AF49-95CC-4985-9B51-92CAC6E6569C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d80347cd550907b38bebc913c057c93083fbd37","datavalue":{"value":{"entity-type":"item","numeric-id":2921021,"id":"Q2921021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"316dfe1124dae625bb1ef3fba44939136a150585","datavalue":{"value":{"amount":"+0.90856314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732267$5D22DA77-D753-4765-91FD-4F3165C29D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc6095becf2f12338631c5b1d780e3cb0d5a895","datavalue":{"value":{"entity-type":"item","numeric-id":2553974,"id":"Q2553974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55da3f050f9bf88d0f2b5cdaae4ac87f10f10cfb","datavalue":{"value":{"amount":"+0.90674007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732267$5E7A9082-59A3-43D1-8DEB-D527A1D499BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea210ee7c00a41c9154bb273eff1706ba0fc2d1f","datavalue":{"value":{"entity-type":"item","numeric-id":4915224,"id":"Q4915224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8129e466e20dfaf4910f49f05e96edeb3efc79ac","datavalue":{"value":{"amount":"+0.9035964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732267$07C98064-90F5-44E2-8BBF-3A6F04EFCC29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732267$C38180C9-5BB7-4D32-A466-4BE3D5B35A12","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d08f695c994a283b6d2e0d4e932860a7a30c96c7","datavalue":{"value":"The authors use computability theory and proof theory to analyze various forms of Ramsey's theorem, obtaining especially interesting results about Ramsey's theorem for pairs. This work is closely related to earlier work of \\textit{C.~Jockusch} [J. Symb. Log. 37, 268-280 (1972; Zbl 0262.02042)] and \\textit{D.~Seetapun} and \\textit{T.~Slaman} [Notre Dame J. Formal Logic 36, 570-582 (1995; Zbl 0843.03034)]. A forcing argument similar to one of \\textit{C.~Jockusch} and \\textit{F.~Stephan} [Math. Log. Q. 39, 515-530 (1993; Zbl 0799.03048)] proves that for any \\(n \\geq 2\\) and any computable \\(k\\)-coloring of the \\(n\\)-element sets of natural numbers, there is an infinite homogeneous set \\(X\\), with \\(X^{\\prime \\prime} \\leq_{\\text T} 0^{(n)}\\). In particular, every computable \\(k\\)-coloring of pairs has a low\\(_2\\) homogeneous set. Additional forcing arguments show that RCA\\(_0+\\)I\\(\\Sigma_2 +\\)RT\\(_2^2\\) is \\(\\Pi^1_1\\)-conservative over RCA\\(_0+\\)I\\(\\Sigma_2\\), leading to a proof that RT\\(^2_{<\\infty}\\) is strictly stronger than RT\\(^2_2\\) over RCA\\(_0\\). After an analysis of the strength of statements concerning stable colorings and cohesive sets, the article concludes with a list of open questions and a comprehensive bibliography.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732267$487BD684-FAC5-478C-BE20-42F3C26D31F1","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":"Q2732267$1AC5EE0F-B48B-4385-9629-7255D0BED290","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2732267","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2732267"}}}}}