{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T21:05:06Z","timestamp":1648587906462},"reference-count":19,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":10876,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1984,6]]},"DOI":"10.2307\/2274210","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:08:28Z","timestamp":1146938908000},"page":"674-682","source":"Crossref","is-referenced-by-count":0,"title":["Annual Meeting of the Association for Symbolic Logic Denver, 1983"],"prefix":"10.1017","volume":"49","author":[{"suffix":"Jr","given":"Carl G.","family":"Jockusch","sequence":"first","affiliation":[]},{"given":"Richard","family":"Laver","sequence":"additional","affiliation":[]},{"given":"Donald","family":"Monk","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Mycielski","sequence":"additional","affiliation":[]},{"given":"Jon","family":"Pearce","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200033831_ref022","first-page":"74","volume":"23","year":"1982","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S0022481200033831_ref023","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093882414"},{"key":"S0022481200033831_ref020","volume":"I","journal-title":"Intensional logic"},{"key":"S0022481200033831_ref008","doi-asserted-by":"publisher","DOI":"10.2307\/1969503"},{"key":"S0022481200033831_ref007","first-page":"253","volume":"3","year":"1982","journal-title":"Abstracts of Papers Presented to the American Mathematical Society"},{"key":"S0022481200033831_ref006","doi-asserted-by":"crossref","first-page":"31","DOI":"10.4064\/fm-109-1-31-36","volume":"109","year":"1980","journal-title":"Fundamental Mathematicae"},{"key":"S0022481200033831_ref005","first-page":"486","volume":"2","year":"1981","journal-title":"Abstracts of the American Mathematical Society"},{"key":"S0022481200033831_ref004","first-page":"316","volume":"86","year":"1982","journal-title":"Proceedings of the American Mathematical Society"},{"key":"S0022481200033831_ref002","first-page":"243","volume":"34","year":"1972","journal-title":"Proceedings of the American Mathematical Society"},{"key":"S0022481200033831_ref019","first-page":"192","volume":"49","year":"1984","journal-title":"Epistemic arithmetic is a conservative extension of intuitionistic arithmetic"},{"key":"S0022481200033831_ref018","first-page":"147","volume":"11","year":"1971","journal-title":"Annals of Mathematical Logic"},{"key":"S0022481200033831_ref017","first-page":"481","volume":"42","year":"1977","journal-title":"Maximal vector spaces under automorphisms of the lattice of recursively enumerable subspaces"},{"key":"S0022481200033831_ref015","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1215\/ijm\/1256050747","volume":"19","year":"1975","journal-title":"Illinois Journal of Mathematics"},{"key":"S0022481200033831_ref014","volume-title":"Convergence and uniformity in topology","year":"1940"},{"key":"S0022481200033831_ref013","first-page":"454","volume":"46","year":"1983","journal-title":"Journal of the London Mathematical Society"},{"key":"S0022481200033831_ref012","first-page":"651","volume":"4","year":"1972","journal-title":"Journal of the London Mathematical Society"},{"key":"S0022481200033831_ref011","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1965-0201316-8"},{"key":"S0022481200033831_ref024","volume-title":"The compleat syllogistic: Including rules and Venn diagrams for five quantities","year":"1982"},{"key":"S0022481200033831_ref021","volume":"I","journal-title":"Intensional logic"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200033831","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T16:48:10Z","timestamp":1558630090000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200033831\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,6]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1984,6]]}},"alternative-id":["S0022481200033831"],"URL":"https:\/\/doi.org\/10.2307\/2274210","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,6]]}}}