{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T21:29:48Z","timestamp":1782941388140,"version":"3.54.5"},"reference-count":5,"publisher":"World Scientific Pub Co Pte Lt","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Math. Log."],"published-print":{"date-parts":[[2013,12]]},"abstract":"<jats:p> In recent years, there has been a substantial amount of work in reverse mathematics concerning natural mathematical principles that are provable from RT, Ramsey's Theorem for Pairs. These principles tend to fall outside of the \"big five\" systems of reverse mathematics and a complicated picture of subsystems below RT has emerged. In this paper, we answer two open questions concerning these subsystems, specifically that ADS is not equivalent to CAC and that EM is not equivalent to RT. <\/jats:p>","DOI":"10.1142\/s0219061313500074","type":"journal-article","created":{"date-parts":[[2013,7,24]],"date-time":"2013-07-24T21:27:41Z","timestamp":1374701261000},"page":"1350007","source":"Crossref","is-referenced-by-count":38,"title":["SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS"],"prefix":"10.1142","volume":"13","author":[{"given":"MANUEL","family":"LERMAN","sequence":"first","affiliation":[{"name":"Department of Mathematics, University of Connecticut, CT 06269-3009, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"REED","family":"SOLOMON","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Connecticut, CT 06269-3009, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"HENRY","family":"TOWSNER","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Pennsylvania, Philadelphia, PA 19104-6395, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"219","published-online":{"date-parts":[[2013,10,31]]},"reference":[{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.2307\/2694910"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1174668391"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-09-04847-8"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-1715716"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007"}],"container-title":["Journal of Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0219061313500074","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T01:18:43Z","timestamp":1565140723000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0219061313500074"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,31]]},"references-count":5,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2013,10,31]]},"published-print":{"date-parts":[[2013,12]]}},"alternative-id":["10.1142\/S0219061313500074"],"URL":"https:\/\/doi.org\/10.1142\/s0219061313500074","relation":{},"ISSN":["0219-0613","1793-6691"],"issn-type":[{"value":"0219-0613","type":"print"},{"value":"1793-6691","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,31]]}}}