{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T16:26:33Z","timestamp":1767198393423,"version":"build-2238731810"},"reference-count":9,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":9689,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1987,9]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    The principal aim of this paper is to present a construction method for nontotal extensional combinatory algebras. This is done in \u00a72. In \u00a70 we give definitions of some basic notions for partial combinatory algebras from which the corresponding notions for (total) combinatory algebras are obtained as specializations. In \u00a71 we discuss some properties of nontotal extensional combinatory algebras in general. \u00a72 describes a \u201cpartial\u201d variant of reflexive complete partial orders yielding nontotal extensional combinatory algebras. Finally, \u00a73 deals with properties of the models constructed in \u00a72, such as incompletability, having no total submodel and the pathological behaviour with respect to the interpretation of unsolvable\n                    <jats:italic>\u03bb<\/jats:italic>\n                    -terms.\n                  <\/jats:p>","DOI":"10.2307\/2274368","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:22:39Z","timestamp":1146939759000},"page":"819-833","source":"Crossref","is-referenced-by-count":8,"title":["On the existence of extensional partial combinatory algebras"],"prefix":"10.1017","volume":"52","author":[{"given":"Ingemarie","family":"Bethke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200029807_bib003","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1936-1501858-0"},{"key":"S0022481200029807_bib001","volume-title":"The lambda calculus, its syntax and semantics","author":"Barendregt","year":"1984"},{"key":"S0022481200029807_bib002","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-68952-9"},{"key":"S0022481200029807_bib007","doi-asserted-by":"publisher","DOI":"10.1007\/BF01448013"},{"key":"S0022481200029807_bib008","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BFb0073967","volume-title":"Toposes, algebraic geometry and logic","volume":"274","author":"Scott","year":"1972"},{"key":"S0022481200029807_bib009","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71262-X"},{"key":"S0022481200029807_bib005","first-page":"30","volume-title":"Bulletin of the European Association for Theoretical Computer Science","author":"Klop","year":"1982"},{"key":"S0022481200029807_bib006","volume-title":"A set-theoretical definition of application","author":"Plotkin","year":"1972"},{"key":"S0022481200029807_bib004","doi-asserted-by":"publisher","DOI":"10.1007\/BF02483849"}],"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200029807","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,22]],"date-time":"2023-03-22T06:38:10Z","timestamp":1679467090000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.cambridge.org\/core\/product\/identifier\/S0022481200029807\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,9]]},"references-count":9,"aliases":["10.1017\/s0022481200029807"],"journal-issue":{"issue":"3","published-print":{"date-parts":[[1987,9]]}},"alternative-id":["S0022481200029807"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.2307\/2274368","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,9]]}}}