{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,15]],"date-time":"2024-03-15T11:41:49Z","timestamp":1710502909852},"reference-count":8,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2012,12,1]]},"DOI":"10.1093\/logcom\/exr020","type":"journal-article","created":{"date-parts":[[2011,8,12]],"date-time":"2011-08-12T22:03:43Z","timestamp":1313186623000},"page":"1391-1403","source":"Crossref","is-referenced-by-count":11,"title":["Infinity, in short"],"prefix":"10.1093","volume":"22","author":[{"given":"E. G.","family":"Omodeo","sequence":"first","affiliation":[]},{"given":"A.","family":"Policriti","sequence":"additional","affiliation":[]},{"given":"A. I.","family":"Tomescu","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2011,8,12]]},"reference":[{"key":"2_40551956","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1007\/s004930070001","volume":"20","year":"2000","journal-title":"COMBINATORICA"},{"key":"3_40551957","doi-asserted-by":"crossref","first-page":"1200","DOI":"10.2178\/jsl\/1164060452","volume":"71","year":"2006","journal-title":"THE JOURNAL OF SYMBOLIC LOGIC"},{"key":"6_44271809","doi-asserted-by":"crossref","first-page":"1123","DOI":"10.1002\/cpa.3160480908","volume":"48","year":"1995","journal-title":"COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS"},{"key":"7_40551959","doi-asserted-by":"crossref","first-page":"459","DOI":"10.2178\/jsl\/1268917490","volume":"75","year":"2010","journal-title":"THE JOURNAL OF SYMBOLIC LOGIC"},{"key":"8_40551960","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1090\/S0002-9939-1988-0938682-2","volume":"103","year":"1988","journal-title":"PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY"},{"key":"9_40551961","first-page":"285","volume":"108","year":"1990","journal-title":"PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY"},{"key":"10_40551962","doi-asserted-by":"crossref","first-page":"1230","DOI":"10.2307\/2275470","volume":"56","year":"1991","journal-title":"THE JOURNAL OF SYMBOLIC LOGIC"},{"key":"11_26993885","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1112\/plms\/s2-30.1.264","volume":"30","year":"1930","journal-title":"Proceedings of the London Mathematical Society","ISSN":"http:\/\/id.crossref.org\/issn\/0024-6115","issn-type":"print"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/22\/6\/1391\/2920863\/exr020.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T21:31:09Z","timestamp":1560461469000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exr020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8,12]]},"references-count":8,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2012,11,22]]},"published-print":{"date-parts":[[2012,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exr020","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,8,12]]}}}