{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T11:37:45Z","timestamp":1648553865410},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2014,1,8]],"date-time":"2014-01-08T00:00:00Z","timestamp":1389139200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1007\/s11229-013-0389-7","type":"journal-article","created":{"date-parts":[[2014,1,7]],"date-time":"2014-01-07T09:05:30Z","timestamp":1389085530000},"page":"2123-2138","source":"Crossref","is-referenced-by-count":0,"title":["Visions of Henkin"],"prefix":"10.1007","volume":"192","author":[{"given":"Mar\u00eda","family":"Manzano","sequence":"first","affiliation":[]},{"given":"Enrique","family":"Alonso","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,1,8]]},"reference":[{"issue":"2","key":"389_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1080\/0144534042000271157","volume":"26","author":"E Alonso","year":"2005","unstructured":"Alonso, E., & Manzano, M. (2005). Diagonalization and Church\u2019s thesis: Kleene\u2019s homework. History and Philosophy of Logic, 26(2), 93\u2013113.","journal-title":"History and Philosophy of Logic"},{"key":"389_CR2","doi-asserted-by":"publisher","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A Church","year":"1940","unstructured":"Church, A. (1940). A formulation of the simple theory of types. The Journal of Symbolic Logic, 5, 56\u201368.","journal-title":"The Journal of Symbolic Logic"},{"key":"389_CR3","unstructured":"Church, A. (1941). The calculi of lambda-conversion. Annals of mathematical studies. num. 6. Princeton, NJ: Princeton University Press."},{"key":"389_CR4","unstructured":"Church, A. (1951). A formulation of the logic of sense and denotation. In Structure, methods and meaning, essays in honor of Henry M. Sheffer, New York (pp. 3\u201324). (Revisado en NOUS: Vol. 7 (1973), pp. 24\u201333; Vol. 8 (1974), pp. 135\u2013156; and, Vol. 27 (1993), pp. 141\u2013157.)"},{"key":"389_CR5","unstructured":"G\u00f6del, K. (1930). The completeness of the axioms of the functional calculus of logic. In S. Feferman, J. W. Dawson, et al. (Eds.). (1986). Kurt G\u00f6del collected works (Vols. I and II). Oxford: Oxford University Press."},{"key":"389_CR6","unstructured":"G\u00f6del, K. (1931). On formally undecidable propositions of principia mathematica and related systems I. In S. Feferman, J. W. Dawson, et al. (Eds.). (1986). Kurt G\u00f6del collected works (Vols. I and II). Oxford: Oxford University Press."},{"issue":"3","key":"389_CR7","doi-asserted-by":"publisher","first-page":"201","DOI":"10.2307\/2267403","volume":"18","author":"L Henkin","year":"1953","unstructured":"Henkin, L. (1953a). Banishing the rule of substitution for functional variables. The Journal of Symbolic Logic, 18(3), 201\u2013208.","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"389_CR8","doi-asserted-by":"publisher","first-page":"19","DOI":"10.2307\/2266323","volume":"18","author":"L Henkin","year":"1953","unstructured":"Henkin, L. (1953b). Some notes on nominalism. The Journal of Symbolic Logic, 18(1), 19\u201329.","journal-title":"The Journal of Symbolic Logic"},{"key":"389_CR9","unstructured":"Henkin, L. (1953c). The nominalist interpretation of mathematical language. Bulletin de la Soci\u00e9t\u00e9 Math\u00e9matique de Belgique."},{"issue":"4","key":"389_CR10","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1080\/00029890.1960.11989501","volume":"67","author":"L Henkin","year":"1960","unstructured":"Henkin, L. (1960). On mathematical induction. The American Mathematical Monthly, 67(4), 323\u2013338.","journal-title":"The American Mathematical Monthly"},{"issue":"3","key":"389_CR11","doi-asserted-by":"publisher","first-page":"201","DOI":"10.2307\/2271066","volume":"28","author":"L Henkin","year":"1963","unstructured":"Henkin, L. (1963a). An extension of the Craig-Lyndon interpolation theorem. The Journal of Symbolic Logic, 28(3), 201\u2013216.","journal-title":"The Journal of Symbolic Logic"},{"key":"389_CR12","doi-asserted-by":"publisher","first-page":"323","DOI":"10.4064\/fm-52-3-323-344","volume":"52","author":"L Henkin","year":"1963","unstructured":"Henkin, L. (1963b). A theory of propositional types. Fundamenta Mathematicae, 52, 323\u2013344.","journal-title":"Fundamenta Mathematicae"},{"key":"389_CR13","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF02380832","volume":"5","author":"L Henkin","year":"1975","unstructured":"Henkin, L. (1975). Identity as a logical primitive. Philosophia, 5, 31\u201345.","journal-title":"Philosophia"},{"key":"389_CR14","unstructured":"Henkin, L. (1978). Metamathematics. Class Notes. Course of 1978. Mimeographed notes."},{"key":"389_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1090\/cbmath\/005\/01","volume":"5","author":"L Henkin","year":"1995","unstructured":"Henkin, L. (1995). The roles of action and of thought in mathematics education\u2014One mathematicians\u2019s passage. CBMS Issues in Mathematics Education, 5, 3\u201316.","journal-title":"CBMS Issues in Mathematics Education"},{"issue":"2","key":"389_CR16","doi-asserted-by":"publisher","first-page":"2","DOI":"10.2307\/421107","volume":"2","author":"L Henkin","year":"1996","unstructured":"Henkin, L. (1996). The discovery of my completeness proofs. Dedicated to my teacher, Alonzo Church, in his 91st year. Bulletin of Symbolic Logic, 2(2), 2\u2013127.","journal-title":"Bulletin of Symbolic Logic"},{"key":"389_CR17","unstructured":"Henkin, L., Monk, J. D., & Tarski, A. (1971). Cylindric algebras. Part I. Amsterdam: North-Holland. ISBN 978-0-7204-2043-2."},{"key":"389_CR18","doi-asserted-by":"crossref","unstructured":"Henkin, L., & Tarski, A. (1961). Cylindric algebras. In R. P. Dilworth (Ed.), Proceedings of symposium in pure mathematics, Vol. II: Lattice theory (pp. 83\u2013113).","DOI":"10.1090\/pspum\/002\/0124250"},{"key":"389_CR19","unstructured":"Manzano, M. (1983). Confer\u00e8ncies del professor Leon Henkin de la Universitat de California (Berkeley). In Ci\u00e8ncia. Revista catalana de Ci\u00e8 ncia y tecnologia (Vol. 24)."},{"key":"389_CR20","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1080\/01445349708837290","volume":"18","author":"M Manzano","year":"1997","unstructured":"Manzano, M. (1997). Alonzo Church: His life, his work and some of his miracles. History and Philosophy of Logic, 18, 211\u2013232.","journal-title":"History and Philosophy of Logic"},{"issue":"1","key":"389_CR21","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1080\/01445340.2013.816555","volume":"35","author":"Maria Manzano","year":"2013","unstructured":"Manzano, M., & Alonso, E. (2013). Completeness: From G\u00f6del to Henkin. HPL (History and Philosophy of Logic). doi:\n                    10.1080\/01445340.2013.816555\n                    \n                  .","journal-title":"History and Philosophy of Logic"},{"key":"389_CR22","doi-asserted-by":"crossref","unstructured":"Russell, B. (1908). Mathematical logic as based in theory of types. In J. van Heijenoort (Ed.). (1967). From Frege to G\u00f6del. A source book in mathematical logic,1879\u20131931. Cambridge: Harvard University Press.","DOI":"10.2307\/2369948"},{"key":"389_CR23","unstructured":"Russell, B., & Whitehead, A. (1910\u20131913). Principia mathematica (Vols. 1\u20133). Cambridge, MA: Cambridge University Press."},{"key":"389_CR24","unstructured":"Sanders, R. (2006). Leon Henkin, advocate for diversity in math & science, has died. Press Release. UC Berkeley News. \n                    http:\/\/www.berkeley.edu\/news\/media\/releases\/2006\/11\/09_henkin.shtml\n                    \n                  ."},{"key":"389_CR25","unstructured":"The Princeton Mathematics Community in the 1930s (PMC14). \n                    http:\/\/www.princeton.edu\/mudd\/finding_aids\/mathoral\/pmc14.htm\n                    \n                  . Accessed 30 June 2013."},{"key":"389_CR26","unstructured":"The Princeton Mathematics Community in the 1930s (PMC19). \n                    http:\/\/www.princeton.edu\/mudd\/finding_aids\/mathoral\/pmc19.htm\n                    \n                  . Accessed 30 June 2013."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-013-0389-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-013-0389-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-013-0389-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-013-0389-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:36:57Z","timestamp":1559371017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-013-0389-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,8]]},"references-count":26,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2015,7]]}},"alternative-id":["389"],"URL":"https:\/\/doi.org\/10.1007\/s11229-013-0389-7","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1,8]]}}}