{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T06:10:57Z","timestamp":1683094257421},"reference-count":47,"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":10146,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1986,6]]},"DOI":"10.1017\/s002248120003142x","type":"journal-article","created":{"date-parts":[[2014,3,13]],"date-time":"2014-03-13T12:44:02Z","timestamp":1394714642000},"page":"480-502","source":"Crossref","is-referenced-by-count":0,"title":["European summer meeting of the Association for Symbolic Logic, Manchester, England, 1984"],"prefix":"10.1017","volume":"51","author":[{"given":"P.","family":"Aczel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. B.","family":"Paris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. J.","family":"Wilkie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G. M.","family":"Wilmers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C. E. M.","family":"Yates","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S002248120003142X_ref042","volume-title":"Proceedings of the colloquium on algebra, combinatorics and logic in computer science (Gyor, 1983)"},{"key":"S002248120003142X_ref043","first-page":"35","volume":"34","year":"1969","journal-title":"A normal modal calculus between T and S4 without the finite model property"},{"key":"S002248120003142X_ref041","first-page":"139","volume-title":"Proceedings of the first international logic programming conference (Marseille, 1982"},{"key":"S002248120003142X_ref040","first-page":"246","volume-title":"Mathematical foundations of computer science (Proceedings of the ninth symposium, Rydzyna, Poland, 1980)","volume":"88","year":"1980"},{"key":"S002248120003142X_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/BF00373095"},{"key":"S002248120003142X_ref008","doi-asserted-by":"publisher","DOI":"10.1007\/BF02757283"},{"key":"S002248120003142X_ref039","volume-title":"Mathematics in the alternative set theory","year":"1979"},{"key":"S002248120003142X_ref007","doi-asserted-by":"publisher","DOI":"10.2307\/1969080"},{"key":"S002248120003142X_ref038","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-6309-2_10"},{"key":"S002248120003142X_ref006","doi-asserted-by":"publisher","DOI":"10.1007\/BF02121661"},{"key":"S002248120003142X_ref005","first-page":"128","volume-title":"Studies in logic and semantics","year":"1981"},{"key":"S002248120003142X_ref037","first-page":"199","volume-title":"Logic Colloquium '77","year":"1978"},{"key":"S002248120003142X_ref004","volume-title":"Tractatus logko-philosophicus","year":"1961"},{"key":"S002248120003142X_ref036","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(83)90012-X"},{"key":"S002248120003142X_ref003","first-page":"225","volume-title":"Proceedings of the International Congress of Mathematicians","year":"1963"},{"key":"S002248120003142X_ref035","doi-asserted-by":"publisher","DOI":"10.1007\/BF01194054"},{"key":"S002248120003142X_ref002","first-page":"251","volume-title":"Studies in inductive logic and probability","volume":"II","year":"1980"},{"key":"S002248120003142X_ref034","doi-asserted-by":"crossref","first-page":"195","DOI":"10.4064\/fm-95-3-195-199","volume":"95","year":"1977","journal-title":"Fundamenta Mathematicae"},{"key":"S002248120003142X_ref001","first-page":"156","volume-title":"Sets, models, and recursion theory","year":"1967"},{"key":"S002248120003142X_ref033","first-page":"131","volume-title":"Logic Colloquium '78","year":"1979"},{"key":"S002248120003142X_ref032","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1978-0469886-1"},{"key":"S002248120003142X_ref031","first-page":"15","volume":"60","year":"1976","journal-title":"Zapiski Nau\u010dnyh S\u00e9minarov LOMI"},{"key":"S002248120003142X_ref030","first-page":"312","volume-title":"Model theory of algebra and arithmetic (proceedings of the conference, Karpacz, Poland, 1979)","volume":"834","year":"1981"},{"key":"S002248120003142X_ref029","first-page":"267","volume":"113","year":"1981","journal-title":"Annals of Mathematics, set. 2"},{"key":"S002248120003142X_ref028","first-page":"51","volume-title":"Bulletin of the European Association for Theoretical Computer Science","year":"1981"},{"key":"S002248120003142X_ref027","volume-title":"Forcing with universal sentences and initial models","year":"1983"},{"key":"S002248120003142X_ref026","first-page":"233","volume":"28","year":"1982","journal-title":"L'Enseignement Math\u00e9matique"},{"key":"S002248120003142X_ref025","first-page":"400","volume":"27","year":"1962","journal-title":"On McKinsey's syntactical characterization of systems of modal logic"},{"key":"S002248120003142X_ref024","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1982-0642332-1"},{"key":"S002248120003142X_ref023","volume-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"S002248120003142X_ref022","first-page":"1133","volume-title":"Handbook of mathematical logic","year":"1977"},{"key":"S002248120003142X_ref021","volume-title":"Elementary means of creating entities","year":"1979"},{"key":"S002248120003142X_ref050","volume":"197","year":"1982","journal-title":"Dissertationes Mathematicae. Rozprawy Matematiczne"},{"key":"S002248120003142X_ref019","first-page":"69","volume-title":"The syntax and semantics of infinitary languages","year":"1968"},{"key":"S002248120003142X_ref018","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264250"},{"key":"S002248120003142X_ref049","first-page":"277","volume-title":"Formal methods in the study of language. Part 1 (proceedings of the third Amsterdam colloquium, 1980)","year":"1981"},{"key":"S002248120003142X_ref017","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19790251304"},{"key":"S002248120003142X_ref048","first-page":"186","volume":"32","year":"1966","journal-title":"Theoria"},{"key":"S002248120003142X_ref016","volume-title":"A calculus of partially defined predicates","year":"1977"},{"key":"S002248120003142X_ref015","first-page":"293","volume":"14","year":"1966","journal-title":"Bulletin de l'Acad\u00e9mie Polonaise des Sciences. S\u00e9rie des Sciences Math\u00e9matiques, Astronomiques et Physiques"},{"key":"S002248120003142X_ref046","first-page":"135","volume-title":"Generalized recursion theory. II (proceedings of the second symposium, Oslo, 1977)","year":"1978"},{"key":"S002248120003142X_ref014","volume-title":"A model where cardinal ordering is universal","year":"1982"},{"key":"S002248120003142X_ref045","first-page":"1","volume":"91","year":"1959","journal-title":"Transactions of the American Mathematical Society"},{"key":"S002248120003142X_ref013","first-page":"691","volume":"49","year":"1984","journal-title":"Can cardinal ordering be universal?"},{"key":"S002248120003142X_ref044","first-page":"113","volume":"9","year":"1957","journal-title":"Osaka Mathematical Journal"},{"key":"S002248120003142X_ref012","first-page":"199","volume-title":"Logic Colloquium '77","year":"1978"},{"key":"S002248120003142X_ref010","doi-asserted-by":"publisher","DOI":"10.1007\/BF02483100"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S002248120003142X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T05:54:12Z","timestamp":1683093252000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S002248120003142X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,6]]},"references-count":47,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1986,6]]}},"alternative-id":["S002248120003142X"],"URL":"https:\/\/doi.org\/10.1017\/s002248120003142x","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,6]]}}}