{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T02:08:10Z","timestamp":1674871690907},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1991,3,1]],"date-time":"1991-03-01T00:00:00Z","timestamp":667785600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch Math Logic"],"published-print":{"date-parts":[[1991,3]]},"DOI":"10.1007\/bf01387763","type":"journal-article","created":{"date-parts":[[2005,4,2]],"date-time":"2005-04-02T03:08:46Z","timestamp":1112411326000},"page":"105-114","source":"Crossref","is-referenced-by-count":13,"title":["A semantical proof of De Jongh's theorem"],"prefix":"10.1007","volume":"31","author":[{"given":"Jaap","family":"van Oosten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"The lambda calculus","author":"H. Barendregt","year":"1981","unstructured":"Barendregt, H.: The lambda calculus. Amsterdam: North-Holland 1981"},{"key":"CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of constructive mathematics","author":"M.J. Beeson","year":"1985","unstructured":"Beeson, M.J.: Foundations of constructive mathematics. Berlin Heidelberg New York: Springer 1985"},{"key":"CR3","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/BFb0061824","volume-title":"Applications of sheaves","author":"M. Fourman","year":"1979","unstructured":"Fourman, M., Scott, D.S.: Sheaves and logic. In: Fourman, M. (ed.) Applications of sheaves. (Lect. Notes Math. vol. 753, pp. 302?401). Berlin Heidelberg New York: Springer 1979"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"23","DOI":"10.2307\/2271946","volume":"43","author":"N.D. Goodman","year":"1978","unstructured":"Goodman, N.D.: Relativized realizability in intuitionistic arithmetic of all finite types. J. Symb. Logic43, 23?44 (1978)","journal-title":"J. Symb. Logic"},{"key":"CR5","unstructured":"de Jongh, D.H.J.: The maximality of the intuitionistic predicate calculus with respect to Heyting's arithmetic. (typed manuscript) Amsterdam 1969"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"379","DOI":"10.2307\/1969708","volume":"59","author":"S.C. Kleene","year":"1951","unstructured":"Kleene, S.C., Post, E.L.: The upper semilattice of degrees of recursive unsolvability. Ann Math59, 379?407 (1951)","journal-title":"Ann Math"},{"key":"CR7","unstructured":"Leivant, D.: Absoluteness of intuitionistic logic. (thesis) Amsterdam 1975"},{"key":"CR8","volume-title":"Classical recursion theory","author":"P. Odifreddi","year":"1989","unstructured":"Odifreddi, P.: Classical recursion theory. Amsterdam: North-Holland 1989"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1070\/IM1978v012n03ABEH002005","volume":"12","author":"V.E. Plisko","year":"1978","unstructured":"Plisko, V.E.: Some variants of the notion of realizability for predicate formulas. Math. USSR Izv.12, 588?604 (1978)","journal-title":"Math. USSR Izv."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1070\/IM1984v022n02ABEH001444","volume":"22","author":"V.E. Plisko","year":"1984","unstructured":"Plisko, V.E.: Absolute realizability for predicate formulas. Math. USSR Izv.22, 291?308 (1984)","journal-title":"Math. USSR Izv."},{"key":"CR11","volume-title":"Constructivism in mathematics","author":"A.S. Troelstra","year":"1988","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in mathematics. Amsterdam: North-Holland 1988"},{"key":"CR12","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0066739","volume-title":"Metamathematical investigation in intuitionistic arithmetic and analysis","author":"A.S. Troelstra","year":"1973","unstructured":"Troelstra, A.S.: Metamathematical investigation in intuitionistic arithmetic and analysis. (Lect. Notes Math., vol. 344) Berlin Heidelberg New York: Springer 1973"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01387763\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01387763.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01387763\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01387763","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T12:14:11Z","timestamp":1556799251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01387763"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,3]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1991,3]]}},"alternative-id":["BF01387763"],"URL":"https:\/\/doi.org\/10.1007\/bf01387763","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,3]]}}}