{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,3,14]],"date-time":"2023-03-14T10:59:39Z","timestamp":1678791579932},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2012,7,31]],"date-time":"2012-07-31T00:00:00Z","timestamp":1343692800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1007\/s00153-012-0297-4","type":"journal-article","created":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T18:32:23Z","timestamp":1346524343000},"page":"751-780","source":"Crossref","is-referenced-by-count":2,"title":["A variant of Mathias forcing that preserves $${\\mathsf{ACA}_0}$$"],"prefix":"10.1007","volume":"51","author":[{"given":"Fran\u00e7ois G.","family":"Dorais","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,7,31]]},"reference":[{"key":"297_CR1","doi-asserted-by":"crossref","unstructured":"Baumgartner, J.E.: Iterated forcing. In: Surveys in Set Theory, London Mathematical Society Lecture Note Series, vol. 87. Cambridge University Press, Cambridge, pp. 1\u201359 (1983)","DOI":"10.1017\/CBO9780511758867.002"},{"issue":"1\u20132","key":"297_CR2","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/S0168-0072(01)00043-4","volume":"109","author":"A.R. Blass","year":"2001","unstructured":"Blass A.R.: Needed reals and recursion in generic reals. Ann. Pure Appl. Logic (Dedicated to Petr Vop\u011bnka) 109(1\u20132), 77\u201388 (2001)","journal-title":"Ann. Pure Appl. Logic (Dedicated to Petr Vop\u011bnka)"},{"issue":"1","key":"297_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2694910","volume":"66","author":"P.A. Cholak","year":"2001","unstructured":"Cholak P.A., Jockusch C.G. Jr., Slaman T.A.: On the strength of Ramsey\u2019s theorem for pairs. J. Symb. Logic. 66(1), 1\u201355 (2001)","journal-title":"J. Symb. Logic."},{"key":"297_CR4","unstructured":"Daguenet, M.: Propri\u00e9t\u00e9 de Baire de \u03b2 N muni d\u2019une nouvelle topologie et application \u00e0la construction d\u2019ultrafiltres. S\u00e9minaire Choquet, 14e ann\u00e9e (1974\/75), Initiation \u00e0 l\u2019analyse, exp. no. 14. Secr\u00e9tariat Math\u00e9matique, Paris, p. 3 (1975)"},{"issue":"2","key":"297_CR5","doi-asserted-by":"crossref","first-page":"557","DOI":"10.2178\/jsl\/1243948327","volume":"74","author":"D.D. Dzhafarov","year":"2009","unstructured":"Dzhafarov D.D., Jockusch C.G. Jr.: Ramsey\u2019s theorem and cone avoidance. J. Symb. Logic. 74(2), 557\u2013578 (2009)","journal-title":"J. Symb. Logic."},{"key":"297_CR6","doi-asserted-by":"crossref","first-page":"163","DOI":"10.2307\/2272356","volume":"39","author":"E. Ellentuck","year":"1974","unstructured":"Ellentuck E.: A new proof that analytic sets are Ramsey. J. Symb. Logic 39, 163\u2013165 (1974)","journal-title":"J. Symb. Logic"},{"issue":"1","key":"297_CR7","doi-asserted-by":"crossref","first-page":"171","DOI":"10.2178\/jsl\/1174668391","volume":"72","author":"D.R. Hirschfeldt","year":"2007","unstructured":"Hirschfeldt D.R., Shore R.A.: Combinatorial principles weaker than Ramsey\u2019s theorem for pairs. J. Symb. Logic 72(1), 171\u2013206 (2007)","journal-title":"J. Symb. Logic"},{"key":"297_CR8","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U.: Higher order reverse mathematics. In: Reverse Mathematics 2001, Lecture Notes Logic, vol. 21. Association for Symbolic Logic, La Jolla, CA, pp. 281\u2013295 (2005)","DOI":"10.1017\/9781316755846.018"},{"issue":"2","key":"297_CR9","doi-asserted-by":"crossref","first-page":"103","DOI":"10.4064\/fm-138-2-103-111","volume":"138","author":"K. Mazur","year":"1991","unstructured":"Mazur K.: $${F_\\sigma}$$ -ideals and $${\\omega_1\\omega_1^*}$$ -gaps in the Boolean algebras P(\u03c9)\/I. Fund. Math. 138(2), 103\u2013111 (1991)","journal-title":"Fund. Math."},{"issue":"4","key":"297_CR10","doi-asserted-by":"crossref","first-page":"570","DOI":"10.1305\/ndjfl\/1040136917","volume":"36","author":"D. Seetapun","year":"1995","unstructured":"Seetapun D., Slaman T.A.: On the strength of Ramsey\u2019s theorem. Notre Dame J. Formal Logic (Special issue: Models of arithmetic) 36(4), 570\u2013582 (1995)","journal-title":"Notre Dame J. Formal Logic (Special issue: Models of arithmetic)"},{"key":"297_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of Second Order Arithmetic, 2nd edn. Perspectives in Logic","author":"S.G. Simpson","year":"2009","unstructured":"Simpson S.G.: Subsystems of Second Order Arithmetic, 2nd edn. Perspectives in Logic. Cambridge University Press, Cambridge (2009)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-012-0297-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-012-0297-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-012-0297-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T08:40:26Z","timestamp":1562143226000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-012-0297-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,31]]},"references-count":11,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2012,11]]}},"alternative-id":["297"],"URL":"https:\/\/doi.org\/10.1007\/s00153-012-0297-4","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,31]]}}}