{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T22:19:01Z","timestamp":1648765141620},"reference-count":18,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":3754,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2003,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We combine a variety of constructive methods (including forcing, realizability, asymmetric interpretation), to obtain consistency results concerning combinatory logic with extensionality and (forms of) the axiom of choice.<\/jats:p>","DOI":"10.2178\/jsl\/1067620175","type":"journal-article","created":{"date-parts":[[2005,3,2]],"date-time":"2005-03-02T21:13:58Z","timestamp":1109798038000},"page":"1091-1108","source":"Crossref","is-referenced-by-count":1,"title":["The axiom of choice and combinatory logic"],"prefix":"10.1017","volume":"68","author":[{"given":"Andrea","family":"Cantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200008239_ref013","first-page":"147","volume-title":"Polynomial time computable arithmetic","author":"Ferreira","year":"1990"},{"key":"S0022481200008239_ref006","volume-title":"Bounded arithmetic","author":"Buss","year":"1986"},{"key":"S0022481200008239_ref003","volume-title":"The lambda calculus. Its syntax and semantics","author":"Barendregt","year":"1984"},{"key":"S0022481200008239_ref017","volume-title":"Basic proof theory","author":"Troelstra","year":"1997"},{"key":"S0022481200008239_ref009","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129599002844"},{"key":"S0022481200008239_ref005","volume-title":"Logic colloquium '78","author":"Boffa","year":"1979"},{"key":"S0022481200008239_ref016","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/106"},{"key":"S0022481200008239_ref008","volume-title":"Logic Colloquium 2001","author":"Cantini"},{"key":"S0022481200008239_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-68952-9"},{"key":"S0022481200008239_ref018","volume-title":"Constructivism in mathematics","author":"Troelstra","year":"1988"},{"key":"S0022481200008239_ref002","doi-asserted-by":"publisher","DOI":"10.1016\/1385-7258(73)90005-X"},{"key":"S0022481200008239_ref001","first-page":"1785","volume":"65","author":"Avigad","year":"2000","journal-title":"Interpreting classical theories in constructive ones"},{"key":"S0022481200008239_ref011","first-page":"87","volume-title":"A language and axioms for explicit mathematics","author":"Feferman","year":"1975"},{"key":"S0022481200008239_ref012","first-page":"159","volume-title":"Constructive theories of functions and classes","author":"Feferman","year":"1979"},{"key":"S0022481200008239_ref014","first-page":"249","volume":"36","author":"Goernemann","year":"1971","journal-title":"A logic stronger than intuitionism"},{"key":"S0022481200008239_ref015","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026403603439"},{"key":"S0022481200008239_ref007","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19890350202"},{"key":"S0022481200008239_ref010","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0062850"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200008239","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T22:09:44Z","timestamp":1557180584000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200008239\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,12]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2003,12]]}},"alternative-id":["S0022481200008239"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1067620175","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,12]]}}}