{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T04:53:40Z","timestamp":1648961620762},"reference-count":33,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2002,4,1]],"date-time":"2002-04-01T00:00:00Z","timestamp":1017619200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4125,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2002,4]]},"DOI":"10.1016\/s0168-0072(01)00080-x","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:20:24Z","timestamp":1027606824000},"page":"203-225","source":"Crossref","is-referenced-by-count":1,"title":["Analyzing realizability by Troelstra's methods"],"prefix":"10.1016","volume":"114","author":[{"given":"Joan Rand","family":"Moschovakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0168-0072(01)00080-X_BIB1","series-title":"Cambridge Summer School in Mathematical Logic","first-page":"113","article-title":"Some applications of Kleene's methods for intuitionistic systems","author":"Friedman","year":"1973"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB2","article-title":"On intuitionistic arithmetic number theory (translated by S. Bauer-Mengelberg and J. van Heijenoort)","volume":"vol. I","author":"G\u00f6del","year":"1993"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB3","doi-asserted-by":"crossref","first-page":"109","DOI":"10.2307\/2269016","article-title":"On the interpretation of intuitionistic number theory","volume":"10","author":"Kleene","year":"1945","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB4","unstructured":"S. C. Kleene, Recursive functions and intuitionistic mathematics, Proceedings of the International Congress of Mathematicians, August 1950, American Mathematical Society, Providence, RI, 1952, pp. 679\u2013685."},{"key":"10.1016\/S0168-0072(01)00080-X_BIB5","series-title":"Introduction to Metamathematics","author":"Kleene","year":"1952"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB6","unstructured":"S.C. Kleene, Realizability, in: Summaries of Talks presented at the Summer Institute for Symbolic Logic, Institute for Defense Analyses, Communications Research Division, Princeton, 1957, pp. 100\u2013104."},{"key":"10.1016\/S0168-0072(01)00080-X_BIB7","unstructured":"A. Heyting (Ed.), Constructivity in Mathematics, North-Holland, Amsterdam, 1959, pp. 285\u2013289 (Errata in Kleene and Vesley (1965), p. 192."},{"key":"10.1016\/S0168-0072(01)00080-X_BIB8","first-page":"154","article-title":"Realizability and Shanin's algorithm for the constructive deciphering of mathematical sentences","volume":"3","author":"Kleene","year":"1960","journal-title":"Logique et Anal. (N.S.)"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB9","series-title":"Classical extensions of intuitionistic mathematics, ICM 1964","first-page":"31","year":"1965"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB10","article-title":"Formalized recursive functionals and formalized realizability","volume":"89","author":"Kleene","year":"1969","journal-title":"Mem. Amer. Math. Soc."},{"key":"10.1016\/S0168-0072(01)00080-X_BIB11","series-title":"Cambridge Summer School in Mathematical Logic","first-page":"95","article-title":"Realizability","author":"Kleene","year":"1973"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB12","series-title":"Especially in Relation to Recursive Functions","article-title":"The Foundations of Intuitionistic Mathematics","author":"Kleene","year":"1965"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB13","first-page":"456","article-title":"The non-derivability of \u00ac (x) \u00ac A(x) \u2192 (Ex) \u00ac A(x), A primitive recursive, in intuitionistic formal systems (abstract)","volume":"23","author":"Kreisel","year":"1958","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB14","first-page":"222","article-title":"Lawless sequences of natural numbers","volume":"20","author":"Kreisel","year":"1968","journal-title":"Compos. Math."},{"key":"10.1016\/S0168-0072(01)00080-X_BIB15","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0003-4843(70)90001-X","article-title":"Formal systems for some branches of intuitionistic analysis","volume":"1","author":"Kreisel","year":"1970","journal-title":"Ann. Math. Logic"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB16","first-page":"101","article-title":"CT0 is stronger than CT0!","volume":"73","author":"Lifschitz","year":"1979","journal-title":"Proc. Amer. Math. Soc."},{"key":"10.1016\/S0168-0072(01)00080-X_BIB17","unstructured":"J.R. Moschovakis, Disjunction, existence and \u03bb-eliminability in formalized intuitionistic analysis, Ph.D. Thesis, University of Wisconsin, Madison, WI, 1965."},{"key":"10.1016\/S0168-0072(01)00080-X_BIB18","doi-asserted-by":"crossref","first-page":"309","DOI":"10.2307\/2270266","article-title":"Can there be no non-recursive functions?","volume":"36","author":"Moschovakis","year":"1971","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB19","doi-asserted-by":"crossref","first-page":"68","DOI":"10.2307\/2273863","article-title":"Relative lawlessness in intuitionistic analysis","volume":"52","author":"Moschovakis","year":"1987","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB20","doi-asserted-by":"crossref","unstructured":"J.R. Moschovakis, An intuitionistic theory of lawlike, choice and lawless sequences, in: J. Oikkonen, J. V\u00e4\u00e4n\u00e4nen (Eds.), Logic Colloquium \u201990, Lecture Notes in Logic, vol. 2, Springer, Berlin, 1993, pp. 191\u2013209 (See following item for an important correction.)","DOI":"10.1017\/9781316718254.014"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB21","doi-asserted-by":"crossref","first-page":"813","DOI":"10.2307\/2275909","article-title":"More about relatively lawless sequences","volume":"59","author":"Moschovakis","year":"1994","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB22","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0168-0072(95)00050-X","article-title":"A classical view of the intuitionistic continuum","volume":"81","author":"Moschovakis","year":"1996","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB23","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1090\/S0002-9947-1947-0025420-1","article-title":"Recursive functions and intuitionistic number theory","volume":"61","author":"Nelson","year":"1947","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.1016\/S0168-0072(01)00080-X_BIB24","doi-asserted-by":"crossref","first-page":"805","DOI":"10.2307\/2274666","article-title":"Lifschitz\u2019 realizability","volume":"55","author":"van Oosten","year":"1990","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB25","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0168-0072(94)90070-1","article-title":"Axiomatizing higher-order Kleene realizability","volume":"70","author":"van Oosten","year":"1994","journal-title":"Ann. Pure and Appl. Logic"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB26","unstructured":"J. van Oosten, Realizability: a historical essay, preprint."},{"key":"10.1016\/S0168-0072(01)00080-X_BIB27","series-title":"The Second Scandinavian Logic Symposium","first-page":"369","article-title":"Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types","author":"Troelstra","year":"1971"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB28","series-title":"Cambridge Summer School in Mathematical Logic","first-page":"171","article-title":"Notes on intuitionistic second order arithmetic","author":"Troelstra","year":"1973"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB29","doi-asserted-by":"crossref","unstructured":"A.S. Troelstra (Ed.), Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, Springer, Berlin, 1973 (With contributions by A.S. Troelstra, C.A. Smorynski, J.I. Zucker and W.A. Howard.)","DOI":"10.1007\/BFb0066744"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB30","series-title":"Handbook of Proof Theory","first-page":"407","article-title":"Realizability","author":"Troelstra","year":"1998"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB31","series-title":"Constructivism in Mathematics","author":"Troelstra","year":"1988"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB32","series-title":"Intuitionism and Proof Theory","first-page":"197","article-title":"A palatable substitute for Kripke's schema","author":"Vesley","year":"1970"},{"key":"10.1016\/S0168-0072(01)00080-X_BIB33","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0168-0072(94)00047-6","article-title":"Realizing Brouwer's sequences","volume":"81","author":"Vesley","year":"1996","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016800720100080X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016800720100080X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T06:18:30Z","timestamp":1578550710000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S016800720100080X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,4]]},"references-count":33,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2002,4]]}},"alternative-id":["S016800720100080X"],"URL":"https:\/\/doi.org\/10.1016\/s0168-0072(01)00080-x","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2002,4]]}}}