{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T19:12:42Z","timestamp":1648840362201},"reference-count":11,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":5490,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1999,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In the past sixty years or so, a real forest of intuitionistic models for classical theories has grown. In this paper we will compare intuitionistic models of first order classical theories according to relevant issues, like completeness (w.r.t. first order classical provability), consistency, and relationship between a connective and its interpretation in a model. We briefly consider also intuitionistic models for classical \u03c9-logic.<\/jats:p><jats:p>All results included here, but a part of the proposition (a) below, are new. This work is, ideally, a continuation of a paper by McCarty, who considered intuitionistic completeness mostly for first order intuitionistic logic.<\/jats:p>","DOI":"10.2307\/2586766","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T14:02:25Z","timestamp":1146924145000},"page":"304-312","source":"Crossref","is-referenced-by-count":3,"title":["Intuitionistic completeness for first order classical logic"],"prefix":"10.1017","volume":"64","author":[{"given":"Stefano","family":"Berardi","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200014055_ref001","volume-title":"Proceedings of 1995 Venice congress \u201cTwenty-five years of constructive type theory\u201d","author":"Baratella"},{"key":"S0022481200014055_ref002","volume":"60","author":"Coquand","year":"1995","journal-title":"A semantic of evidence for classical arithmetic"},{"key":"S0022481200014055_ref009","unstructured":"Shoenfield J. R. , Mathematical Logic, ch. 8, Number theory, Addison-Wesley, London, 1967."},{"key":"S0022481200014055_ref003","unstructured":"Herbelin H. , Sequents qu\u2019on calcule, Ph.D. thesis , University of Paris VII, 01 1995."},{"key":"S0022481200014055_ref004","first-page":"261","volume":"16","author":"Kreisel","year":"1951","journal-title":"On the interpretation of non-finitist proofs"},{"key":"S0022481200014055_ref007","unstructured":"McCarty , Completeness for intuitionistic logic, to appear in P. Odifreddi's book about G. Kreisel, 1997."},{"key":"S0022481200014055_ref010","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0079691"},{"key":"S0022481200014055_ref005","volume-title":"Bulletin of Symbolic Logic","author":"Krivine"},{"key":"S0022481200014055_ref011","unstructured":"Tr\u00f6lstra and Dalen Van , Constructivism in Mathematics, ch. 13, Semantic completeness, North-Holland."},{"key":"S0022481200014055_ref006","doi-asserted-by":"publisher","DOI":"10.1007\/BF00257386"},{"key":"S0022481200014055_ref008","volume-title":"These de doctorat","author":"Paulin-Mohring","year":"1989"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200014055","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T15:07:05Z","timestamp":1557500825000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200014055\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["S0022481200014055"],"URL":"https:\/\/doi.org\/10.2307\/2586766","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}