{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T10:07:17Z","timestamp":1775210837323,"version":"3.50.1"},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2016,9,24]],"date-time":"2016-09-24T00:00:00Z","timestamp":1474675200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"None"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1007\/s00153-016-0509-4","type":"journal-article","created":{"date-parts":[[2016,9,24]],"date-time":"2016-09-24T07:16:15Z","timestamp":1474701375000},"page":"1015-1024","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Reverse mathematics and marriage problems with finitely many solutions"],"prefix":"10.1007","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8273-8951","authenticated-orcid":false,"given":"Jeffry L.","family":"Hirst","sequence":"first","affiliation":[]},{"given":"Noah A.","family":"Hughes","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,24]]},"reference":[{"issue":"2","key":"509_CR1","doi-asserted-by":"publisher","first-page":"557","DOI":"10.2307\/2272259","volume":"41","author":"Harvey Friedman","year":"1976","unstructured":"Friedman, Harvey: Abstracts: systems of second order arithmetic with restricted induction, I and II. J. Symb. Logic 41(2), 557\u2013559 (1976). doi: 10.2307\/2272259","journal-title":"J. Symb. Logic"},{"key":"509_CR2","doi-asserted-by":"publisher","unstructured":"Hirst, Jeffry L.: Marriage theorems and reverse mathematics. In: Logic and Computation (Pittsburgh, PA, 1987), Contemporary Mathematics, Vol. 106, American Mathematical Society, Providence, RI, pp. 181\u2013196 (1990). doi: 10.1090\/conm\/106\/1057822","DOI":"10.1090\/conm\/106\/1057822"},{"issue":"4","key":"509_CR3","doi-asserted-by":"publisher","first-page":"303","DOI":"10.4064\/ba55-4-2","volume":"55","author":"Jeffry L Hirst","year":"2007","unstructured":"Hirst, Jeffry L.: Representations of reals in reverse mathematics. Bull. Pol. Acad. Sci. Math 55(4), 303\u2013316 (2007). doi: 10.4064\/ba55-4-2","journal-title":"Bull. Pol. Acad. Sci. Math"},{"key":"509_CR4","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s00153-014-0401-z","volume":"54","author":"Jeffry L Hirst","year":"2015","unstructured":"Hirst, Jeffry L., Hughes, Noah A.: Reverse mathematics and marriage problems with unique solutions. Arch. Math. Logic 54, 49\u201357 (2015). doi: 10.1007\/s00153-014-0401-z","journal-title":"Arch. Math. Logic"},{"key":"509_CR5","doi-asserted-by":"publisher","unstructured":"Simpson, Stephen G.: Subsystems of Second Order Arithmetic, 2nd ed., Perspectives in Logic. Cambridge Univ. Press, Cambridge (2009). doi: 10.1017\/CBO9780511581007","DOI":"10.1017\/CBO9780511581007"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0509-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-016-0509-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0509-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,10,7]],"date-time":"2016-10-07T11:06:47Z","timestamp":1475838407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-016-0509-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,24]]},"references-count":5,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["509"],"URL":"https:\/\/doi.org\/10.1007\/s00153-016-0509-4","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9,24]]}}}