{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T07:40:38Z","timestamp":1707032438877},"reference-count":14,"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":14164,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1975,6]]},"DOI":"10.2307\/2271940","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T21:35:13Z","timestamp":1146951313000},"page":"299-304","source":"Crossref","is-referenced-by-count":0,"title":["Meeting of the Association for Symbolic Logic, New York, 1974"],"prefix":"10.1017","volume":"40","author":[{"given":"P. C.","family":"Gilmore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Donald","family":"Martin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elliott","family":"Mendelson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200054153_ref006","volume-title":"Computability and undecidability","year":"1958"},{"key":"S0022481200054153_ref005","first-page":"14","volume":"35","year":"1970","journal-title":"The number of countable models"},{"key":"S0022481200054153_ref003","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19700160303"},{"key":"S0022481200054153_ref002","first-page":"96","volume-title":"MAA studies in model theory","year":"1973"},{"key":"S0022481200054153_ref001","first-page":"504","volume":"20","year":"1973","journal-title":"Notices of the American Mathematical Society"},{"key":"S0022481200054153_ref016","volume":"12","year":"1966","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"S0022481200054153_ref007","volume-title":"Introduction to mathematical logic","year":"1964"},{"key":"S0022481200054153_ref014","volume-title":"Identity in free modal logic","year":"1973"},{"key":"S0022481200054153_ref012","volume":"26","year":"1973","journal-title":"Synthese"},{"key":"S0022481200054153_ref011","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1111\/j.1755-2567.1969.tb00362.x","volume":"35","year":"1969","journal-title":"Theoria"},{"key":"S0022481200054153_ref009","first-page":"1420","volume":"5","year":"1964","journal-title":"Soviet Mathematics Doklady"},{"key":"S0022481200054153_ref010","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"S0022481200054153_ref008","volume-title":"Theory of formal systems","year":"1961"},{"key":"S0022481200054153_ref015","volume-title":"Logics without existence assumptions","year":"1968"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200054153","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,4]],"date-time":"2024-02-04T07:22:38Z","timestamp":1707031358000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200054153\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975,6]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1975,6]]}},"alternative-id":["S0022481200054153"],"URL":"https:\/\/doi.org\/10.2307\/2271940","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1975,6]]}}}