{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T04:07:37Z","timestamp":1683173257500},"reference-count":20,"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":13798,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1976,6]]},"DOI":"10.1017\/s0022481200051665","type":"journal-article","created":{"date-parts":[[2014,3,13]],"date-time":"2014-03-13T12:40:02Z","timestamp":1394714402000},"page":"551-560","source":"Crossref","is-referenced-by-count":0,"title":["Meeting of the Association for Symbolic Logic, Chicago 1975"],"prefix":"10.1017","volume":"41","author":[{"given":"John","family":"Baldwin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. A.","family":"Martin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert I.","family":"Soare","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. W.","family":"Tait","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200051665_ref013","volume-title":"Bulletin de la Soci\u00e9t\u00e9 Royale des Sciences de Li\u00e8ge","author":"Varlet","year":"1969"},{"key":"S0022481200051665_ref008","doi-asserted-by":"publisher","DOI":"10.1215\/S0012-7094-62-02951-4"},{"key":"S0022481200051665_ref007","first-page":"427","article-title":"Abstract first order computability. I","volume":"138","author":"Moschovakis","year":"1969","journal-title":"Transactions of the American Mathematical Society"},{"key":"S0022481200051665_ref004","doi-asserted-by":"publisher","DOI":"10.2307\/1970696"},{"key":"S0022481200051665_ref002","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRev.153.1397"},{"key":"S0022481200051665_ref010","article-title":"Die Kennzeichnung der distributiven pseudokomplement\u00e4ren Halbverb\u00e4nde","volume":"241","author":"Katrinak","year":"1970","journal-title":"Journal f\u00fcr Mathematik"},{"key":"S0022481200051665_ref019","first-page":"159","volume":"37","author":"Urquhart","year":"1972","journal-title":"Semantics for relevance logics"},{"key":"S0022481200051665_ref015","first-page":"303","volume-title":"Intuitionism and proof theory","author":"Feferman","year":"1970"},{"key":"S0022481200051665_ref009","article-title":"Stone lattices. I\u2013II","author":"Chen","year":"1969","journal-title":"Canadian Journal of Mathematics"},{"key":"S0022481200051665_ref001","unstructured":"Benioff Paul , Journal of Mathematical Physics (submitted)."},{"key":"S0022481200051665_ref018","volume-title":"Intuitionism and proof theory","author":"Friedman","year":"1970"},{"key":"S0022481200051665_ref006","volume-title":"Logic: Techniques of formal reasoning","author":"Kalish","year":"1964"},{"key":"S0022481200051665_ref011","article-title":"Algebraic treatment of the functional calculi of Heyting and Lewis","volume":"38","author":"Rasiowa","year":"1951","journal-title":"Fundament a Mathematlcae"},{"key":"S0022481200051665_ref016","volume-title":"Proceedings of the International Congress of Mathematicians (Vancouver, 1974)","volume":"1","author":"Friedman","year":"1975"},{"key":"S0022481200051665_ref012","article-title":"On existential theorems in non-classical functional calculi","volume":"41","author":"Rasiowa","year":"1954","journal-title":"Fundamenta Mathematlcae"},{"key":"S0022481200051665_ref020","first-page":"159","volume":"37","author":"Urquhart","year":"1972","journal-title":"Semantics for relevance logics"},{"key":"S0022481200051665_ref005","doi-asserted-by":"crossref","first-page":"602","DOI":"10.1016\/S0019-9958(66)80018-9","volume":"9","author":"L\u00f6f","year":"1966","journal-title":"Information and Control"},{"key":"S0022481200051665_ref017","volume-title":"The analysis of mathematical texts, and their calibration in terms of intrinsic strength","volume":"I","author":"Friedman","year":"1975"},{"key":"S0022481200051665_ref014","first-page":"1","volume":"29","author":"Feferman","year":"1964","journal-title":"Systems of predicative analysis"},{"key":"S0022481200051665_ref003","first-page":"3603","volume":"D7","author":"Benioff","year":"1973","journal-title":"Physics Review"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200051665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T06:02:07Z","timestamp":1683093727000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200051665\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976,6]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1976,6]]}},"alternative-id":["S0022481200051665"],"URL":"https:\/\/doi.org\/10.1017\/s0022481200051665","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1976,6]]}}}