{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:45:14Z","timestamp":1747579514261},"reference-count":28,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[1982,12,1]],"date-time":"1982-12-01T00:00:00Z","timestamp":407548800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,16]],"date-time":"2013-07-16T00:00:00Z","timestamp":1373932800000},"content-version":"vor","delay-in-days":11185,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematical Logic"],"published-print":{"date-parts":[[1982,12]]},"DOI":"10.1016\/0003-4843(82)90003-1","type":"journal-article","created":{"date-parts":[[2002,10,7]],"date-time":"2002-10-07T19:23:56Z","timestamp":1034018636000},"page":"127-178","source":"Crossref","is-referenced-by-count":27,"title":["Recursive models for constructive set theories"],"prefix":"10.1016","volume":"23","author":[{"given":"M.","family":"Beeson","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0003-4843(82)90003-1_BIB1","series-title":"Proceedings of the Symposium on Mathematical Logic","first-page":"1","article-title":"The strength of Martin-L\u00f6f's intuitionistic type theory with one universe","author":"Aczel","year":"1977"},{"key":"10.1016\/0003-4843(82)90003-1_BIB2","series-title":"Logic Colloquium'77","article-title":"The type theoretic interpretation of constructive set theory","author":"Aczel","year":"1979"},{"key":"10.1016\/0003-4843(82)90003-1_BIB3","doi-asserted-by":"crossref","DOI":"10.2307\/2272158","article-title":"The non-derivability in intuitionistic formal systems of theorems on the continuity of effective operations","volume":"40","author":"Beeson","year":"1975","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0003-4843(82)90003-1_BIB4","first-page":"1976","article-title":"The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals","volume":"41","author":"Beeson","year":"1977","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0003-4843(82)90003-1_BIB5","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/S0003-4843(77)80003-X","article-title":"Priciples of continuous choice and continuity of functions in formal systems fro constructive mathematics","volume":"12","author":"Beeson","year":"1977","journal-title":"Ann. Math. Logic"},{"key":"10.1016\/0003-4843(82)90003-1_BIB6","series-title":"Logic Colloquim'78","article-title":"Continuity in intuitionistic set theories","author":"Beeson","year":"1979"},{"key":"10.1016\/0003-4843(82)90003-1_BIB7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2140\/pjm.1980.88.1","article-title":"Extensionality and choice in constructive mathematics","volume":"88","author":"Beeson","year":"1980","journal-title":"Pacific J. Math."},{"key":"10.1016\/0003-4843(82)90003-1_BIB8","series-title":"Constructive Mathematics: Proceedings","article-title":"Formalizing constructive mathematics; why and how?","author":"Beeson","year":"1981"},{"key":"10.1016\/0003-4843(82)90003-1_BIB9","unstructured":"M. Beeson, Foundations of Constructive Mathematics: Mathematical Studies (Springer, Berlin, to appear)."},{"key":"10.1016\/0003-4843(82)90003-1_BIB10","series-title":"Foundations of Constructive Analysis","author":"Bishop","year":"1967"},{"key":"10.1016\/0003-4843(82)90003-1_BIB11","first-page":"49","article-title":"Algorithmic operators in constructive complete separable metric spaces","volume":"128","author":"\u010ceitin","year":"1959","journal-title":"Dokl. Akad. Nauk."},{"key":"10.1016\/0003-4843(82)90003-1_BIB12","series-title":"Algebra and Logic","first-page":"87","article-title":"A language and axioms for explicit mathematics","author":"Feferman","year":"1975"},{"key":"10.1016\/0003-4843(82)90003-1_BIB13","series-title":"Logic Colloqium'78","first-page":"159","article-title":"Constructive theories of functions and classes","author":"Feferman","year":"1979"},{"key":"10.1016\/0003-4843(82)90003-1_BIB14","series-title":"Proceedings of the ASL Summer Meeting in Patras","article-title":"Iterated fixed-point theories: application to Hancock's conjecture","author":"Feferman","year":"1980"},{"key":"10.1016\/0003-4843(82)90003-1_BIB15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/1971023","article-title":"Set-theoretic foundations for constructive analysis","volume":"105","author":"Friedman","year":"1977","journal-title":"Ann. Math."},{"key":"10.1016\/0003-4843(82)90003-1_BIB16","series-title":"Higheer set theory (Prof. Conf. Math. Forschungsinst.","first-page":"73","article-title":"Constructive universes I","author":"Jervell","year":"1978"},{"key":"10.1016\/0003-4843(82)90003-1_BIB17","series-title":"Introduction to Metamathematics","author":"Kleene","year":"1952"},{"key":"10.1016\/0003-4843(82)90003-1_BIB18","series-title":"The Foundations of Intuitionistic Mathematics, Especially in Relation to Recursive Functions","author":"Kleene","year":"1965"},{"key":"10.1016\/0003-4843(82)90003-1_BIB19","series-title":"Constructive in Mathematics","first-page":"101","article-title":"Interpretation of analysis by means of functional of finite type","author":"Kreisel","year":"1959"},{"key":"10.1016\/0003-4843(82)90003-1_BIB20","series-title":"Constructivity in Mathematics","article-title":"Partial recursive functionals and effective operations","author":"Kreisel","year":"1959"},{"key":"10.1016\/0003-4843(82)90003-1_BIB21","first-page":"1250","article-title":"Remarques sur les op\u00e9rateurs recursifs et sur les fonctions r\u00e9cursives d'une variable r\u00e9ele","volume":"241","author":"Lacombe","year":"1955","journal-title":"Comptes Rendus"},{"key":"10.1016\/0003-4843(82)90003-1_BIB22","series-title":"Logic Colloquium","article-title":"An intuitionistic theory of types: predicative part","author":"Martin-L\u00f6f","year":"1975"},{"key":"10.1016\/0003-4843(82)90003-1_BIB23","first-page":"153","article-title":"Constructive mathematics and computer programming","author":"Martin-L\u00f6f","year":"1979"},{"key":"10.1016\/0003-4843(82)90003-1_BIB24","doi-asserted-by":"crossref","first-page":"215","DOI":"10.4064\/fm-55-3-215-238","article-title":"Recursive metric spaces","volume":"55","author":"Moschovaks","year":"1964","journal-title":"Fund. Math."},{"key":"10.1016\/0003-4843(82)90003-1_BIB25","doi-asserted-by":"crossref","first-page":"347","DOI":"10.2307\/2272159","article-title":"Constructive set theory","volume":"40","author":"Myhill","year":"1975","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0003-4843(82)90003-1_BIB26","series-title":"Constructivity in Mathematics","article-title":"Der Satz vom Maximum in der rekursiven Analysis","author":"Specker","year":"1959"},{"key":"10.1016\/0003-4843(82)90003-1_BIB27","series-title":"Lecture Notes in Mathematics 344","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0066739","article-title":"Metamathematical investigation of intuitionistic arithmetic and analysis","author":"Troelstra","year":"1973"},{"key":"10.1016\/0003-4843(82)90003-1_BIB28","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1016\/1385-7258(77)90060-9","article-title":"A note on non-extensional operations in connection with continuity and recursiveness","volume":"39","author":"Troelstra","year":"1977","journal-title":"Indag. Math."}],"container-title":["Annals of Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0003484382900031?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0003484382900031?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T02:25:04Z","timestamp":1554776704000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0003484382900031"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,12]]},"references-count":28,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1982,12]]}},"alternative-id":["0003484382900031"],"URL":"https:\/\/doi.org\/10.1016\/0003-4843(82)90003-1","relation":{},"ISSN":["0003-4843"],"issn-type":[{"value":"0003-4843","type":"print"}],"subject":[],"published":{"date-parts":[[1982,12]]}}}