Leon Henkin | Academic Influence

Leon Henkin's AcademicInfluence.com Rankings

Leon Henkin

Mathematics

#225

World Rank

#494

Historical Rank

#105

USA Rank

Measure Theory

#569

World Rank

#793

Historical Rank

#236

USA Rank

mathematics Degrees

Download Badge

Mathematics

Leon Henkin's Degrees

PhD Mathematics Princeton University

Why Is Leon Henkin Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Leon Albert Henkin was an American logician, whose works played a strong role in the development of logic, particularly in the theory of types. He was an active scholar at the University of California, Berkeley, where he made great contributions as a researcher, teacher, as well as in administrative positions. At this university he directed, together with Alfred Tarski, the Group in Logic and the Methodology of Science, from which many important logicians and philosophers emerged. He had a strong sense of social commitment and was a passionate defensor of his pacifist and progressive ideas. He took part in many social projects aimed at teaching mathematics, as well as projects aimed at supporting women's and minority groups to pursue careers in mathematics and related fields. A lover of dance and literature, he appreciated life in all its facets: art, culture, science and, above all, the warmth of human relations. He is remembered by his students for his great kindness, as well as for his academic and teaching excellence.

(See a Problem?)

Leon Henkin's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Completeness in the theory of types (1950) (813)
The completeness of the first-order functional calculus (1949) (463)
Cylindric Algebras. Part II (1988) (430)
Cylindric Algebras. Part II (1988) (430)
Cylindric Set Algebras (1981) (106)
The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958 (1959) (101)
An extension of the Craig-Lyndon interpolation theorem (1963) (64)
A theory of prepositional types (1963) (55)
An algebraic characterization of quantifiers (1950) (53)
The Discovery of My Completeness Proofs (1996) (53)
The Logic of Equality (1977) (50)
Some interconnections between modern algebra and mathematical logic (1953) (49)
Logical systems containing only a finite number of symbols (1966) (45)
Categoricity of Uncountable Theories (1981) (44)
Banishing the rule of substitution for functional variables (1953) (39)
Mathematical Interpretation of Formal Systems (1957) (38)
A generalization of the concept of ω-consistency (1954) (37)
Fragments of the propositional calculus (1949) (32)
Review: J. C. C. McKinsey, Alfred Tarski, Some Theorems About the Sentential Calculi of Lewis and Heyting (1948) (30)
A problem on inverse mapping systems (1950) (27)
On Mathematical Induction (1960) (26)
The Theory of Models Proceedings of the 1963 International Symposium at Berkeley (1965) (25)
A generalization of the concept of ω-completeness (1957) (25)
On the definition of ‘formal deduction’ (1956) (23)
Darwinism in the English novel, 1860-1910 : the impact of evolution on Victorian fiction (1963) (23)
Review: Kurt Godel, The Consistency of the Axiom of Choice and the Generalized Continuum-Hypothesis with the Axioms of Set Theory (1952) (22)
Cylindric set algebras and related structures (1981) (22)
Some notes on nominalism (1953) (20)
Logic, Methodology and Philosophy of Science IV, Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 (1975) (20)
Relativization with respect to formulas and its use in proofs of independence (1968) (17)
Identity as a logical primitive (1975) (17)
Review: A. Mal'cev, On a General Method for Obtaining Local Theorems in Group Theory (1959) (15)
Extending Boolean operations. (1970) (15)
Internal Semantics and Algebraic Logic1 (1973) (15)
The Representation Theorem for Cylindrical Algebras (1955) (14)
Mathematics: Report of the Project 2061 Phase I Mathematics Panel (1989) (14)
Two concepts from the theory of models (1956) (13)
Languages with Added Quantifier There Exist at Least ℵ α (1970) (13)
Relativization of cylindric algebras (1975) (12)
Boolean representation trough propositional calculus (1955) (10)
Representable cylindric algebras (1986) (9)
Nominalistic Analysis of Mathematical Language (1966) (8)
Are Logic and Mathematics Identical?: An old thesis of Russell's is reexamined in the light of subsequent developments in mathematical logic. (1962) (7)
Tarski Symposium: Proceedings of an International Symposium to Honor Alfred Tarski (1974) (7)
Sums of Squares (1966) (7)
Retracing Elementary Mathematics (1962) (6)
On a theorem of vaught (1955) (5)
Kreisel G.. On a problem of Henkin's. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 (1953), pp. 405–406; also Indagationes mathematicae, vol. 15 (1953), pp. 405–406. (1954) (5)
Putnam Hilary. Three-valued logic. Philosophical studies (Minneapolis), vol. 8 (1957), pp. 73–80. Feyerabend Paul. Reichenbach's interprétation of quantum-mechanics. Philosophical studies (Minneapolis), vol. 9 (1958), pp. 49–59. Levi Isaac. Putnam's three truth values. Philosophical studies (Minneap (1960) (5)
Children's conditional reasoning part II: Towards a reliable test of conditional reasoning ability (1978) (5)
Review: Alfred Tarski, A Decision Method for Elementary Algebra and Geometry (1949) (3)
Review: Alonzo Church, Introduction to Mathematical Logic, Vol. I (1957) (3)
Tarski Alfred. A decision method for elementary algebra and geometry . U. S. Air Force Project Rand, R-109. Prepared for publication by J. C. C. McKinsey. Litho-printed. The Rand Corporation, Santa Monica, California, 1948, iii + 60 pp. (1949) (3)
Review: A. Chatelet, Allocution d'ouverture; L. E. J. Brouwer, Discours final; Abraham Robinson, On Axiomatic Systems which Possess Finite Models (1955) (3)
The Carbuncle in the Adder's Head (1943) (3)
A Euclidean Construction (1978) (3)
Symmetric Euclidean Relations (1962) (3)
Robinson Abraham. On the metamathematics of algebra. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1951, IX + 195 pp. (1952) (3)
Mathematical Foundations for Mathematics (1971) (3)
Review: H. Rasiowa, R. Sikorski, On Existential Theorems in Non-Classical Functional Calculi (1955) (2)
Review: K. Jaakko Hintikka, An Application of Logic to Algebra (1957) (2)
Mathematics and Logic (1963) (2)
Errata to the paper "A theory of propositional types" by L. Henkin Fundamenta Mathematicae 52 (1963), p. 323-344 (1964) (2)
On the primitive symbols of Quine's « Mathematical Logic » (1953) (2)
Review: Abraham Robinson, On the Metamathematics of Algebra (1952) (2)
Pugilism and the Poets (1947) (2)
M. H. A. Newman and A. M. Turing. A formal theorem in Church's theory of types. The journal of symbolic logic , vol. 7 (1942), pp. 28–33. (1942) (2)
Review: Juliusz Reichbach, Completeness of the Functional Calculus of First Order (1956) (2)
Review: James K. Feibleman, Class-Membership and the Ontological Problem (1951) (1)
Review: Abraham Robinson, Les Rapports Entre le Calcul Deductif et l'Interpretation Semantique d'un Systeme Axiomatique; E. W. Beth, L. E. J. Brouwer, Abraham Robinson, Discussion (1955) (1)
Tarski Alfred. A decision method for elementary algebra and geometry. Prepared for publication with the assistance of J. C. C. McKinsey. Second edition, revised. Lithoprinted. University of California Press, Berkeley and Los Angeles 1951, iii + 63 pp. (1952) (1)
Review: Karl Menger, Calculus. A Modern Approach (1954) (1)
Gödel Kurt. The consistency of the axiom of choice and the generalized continuum-hypothesis with the axioms of set theory . Annals of Mathematics studies, no. 3. Second printing, lithoprinted. Princeton University Press, Princeton 1951, 69 pp. (1952) (1)
Review: M. H. A. Newman, A. M. Turing, A Formal Theorem in Church's Theory of Types (1942) (1)
Rasiowa H. and Sikorski R.. Algebraic treatment of the notion of satisfiability. Fundamenta mathematicae , vol. 40 (1953), pp. 62–95. (1955) (1)
Jerome Rothstein. Communication, organization and science . With a foreword by C. A. Muses. The Falcon's Wing Press, Indian Hills, Colorado, 1958, xcvi + 110 pp. (1960) (1)
On equations that hold identically in the system of real numbers (1981) (1)
Review: Hugues Leblanc, The Semiotic Function of Predicates (1951) (1)
Review: H. Rasiowa, R. Sikorski, Algebraic Treatment of the Notion of Satisfiability (1955) (1)
H. Rasiowa. Algebraic treatment of the functional calculi of Heyting and Lewis. Fundamenta mathematicae , vol. 38 (for 1951, pub. 1952), pp. 99–126. (1953) (1)
Hintikka K. Jaakko. An application of logic to algebra. Mathematica scandinavica , vol. 2 (1954), pp. 243–246. (1957) (1)
Review: Paul Bernays, E. W. Beth, L. E. J. Brouwer, Jean-Louis Destouches, R. Feys, Discussion Generale (1955) (1)
McKinsey J. C. C. and Tarski Alfred. Some theorems about the sentential calculi of Lewis and Heyting. The journal of symbolic logic , vol. 13 (1948), pp. 1–15. (1948) (1)
Review: Ladislav Rieger, On Countable Generalised $|sigma$-Algebras, with a New Proof of Godel's Completeness Theorem (1955) (1)
Review: Karl Menger, The Ideas of Variable and Function (1954) (1)
Review: Jerome Rothstein, C. A. Muses, Communication, Organization and Science (1960) (1)
Beth E. W.. Sur le parallélisme logico-mathématique. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 27–32.Bernays Paul, Beth E. W., Robinson Abraham. Discussion. Ibid., pp. 32–33. (1955) (1)
Review: M. H. Stone, Free Boolean Rings and Algebras (1967) (1)
Review: L. Nolin, Sur L'algebre des Predicats; A. Mostowski, J. Porte, A. Tarski, J. Riguet, Interventions (1959) (1)
Review: Burton Dreben, On the Completeness of Quantification Theory (1953) (1)
Review: Evert W. Beth, Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic (1965) (1)
Burton Dreben. On the completeness of quantification theory. Proceedings of the National Academy of Sciences of the United States of America , vol. 38 (1952), pp. 1047–1052. (1953) (1)
Review: H. Rasiowa, Algebraic Treatment of the Functional Calculi of Heyting and Lewis (1953) (0)
Five steps to word mastery (1954) (0)
Menger Karl. Calculus. A modern approach. Second, enlarged edition, mimeographed. The Bookstore, Illinois Institute of Technology, Chicago 1953, title page + xxiii + 1 + 303 pp. (1954) (0)
Leblanc Hugues. On definitions. Philosophy of science , vol. 17 (1950), pp. 302–309. (1951) (0)
List of Officers and Members of the Association for Symbolic Logic (1958) (0)
List of officers and members of the Association for Symbolic Logic (1960) (0)
The Discovery of My Completeness Proofs Author ( s ) : Leon Henkin Source : The Bulletin of Symbolic Logic (2007) (0)
Review: Hilary Putnam, Three-Valued Logic; Paul Feyerabend, Reichenbach's Interpretation of quantum-Mechanics; Isaac Levi, Putnam's three Truth Values (1960) (0)
Jacob and the Hooly Jew (1940) (0)
Good english for everyday use (1947) (0)
List of officers and members of the Association for Symbolic Logic (1951) (0)
Measurement, Empirical Meaningfulness, and Three-Valued Logic.@@@Logics Appropriate to Empirical Theories. (1970) (0)
list of Chauvenet Prize winners (2013) (0)
The Fraenkel-Mostowski Method for Independence Proofs in Set Theory (1975) (0)
The Apocrypha and Chaucer's House of Fame (1941) (0)
The great British philosopher Michael Oakeshott once observed that ideally teaching should be a personalized affair and take place one on one, as 'practical knowledge can be acquired only by continuous contact with one who is perpetually practising it'. (2011) (0)
Karl Menger. The ideas of variable and function. Proceedings of the National Academy of Sciences of the United States of America , vol. 39 (1953), pp. 956–961. (1954) (0)
List of officers and members of the Association for Symbolic Logic (1951) (0)
THE APRIL MEETING IN BERKELEY The five hundred thirty-fifth meeting of the American (2007) (0)
Experimental Investigation of Peer Teaching. Final Report. (1975) (0)
Notices * (1977) (0)
Leblanc Hugues. The semiotic function of predicates. The journal of philosophy, vol. 46 (1949), pp. 838–844. (1951) (0)
Algebraic Logic. Paul R. Halmos. Chelsea, New York, 1962. 271 pp. $3.75 (1962) (0)
List of officers and members of the Association for Symbolic Logic (1964) (0)
Feibleman James K.. Class-membership and the ontological problem. Philosophy of science, vol. 17 (1950), pp. 254–259. (1951) (0)
Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday (1974) (0)
An Algebraic Characterization of Quantifiers. (1951) (0)
List of officers and members of the Association for Symbolic Logic (1965) (0)
New standard book of model letters for all occasions (1951) (0)
THE MAY MEETING IN YOSEMITE The five hundred third meeting of the American Mathematical (2007) (0)
Bernays Paul, Beth E. W., Brouwer L. E. J., Destouches Jean-Louis, Feys R.. Discussion générale. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris 1953, pp. 73–74. (1955) (0)
Basic research in the foundations of mathematics : research project supported by the National Science Foundation Grants G6693, G14006, G19673, and GP-1395 : report for the period July 1, 1961-June 30, 1964 (1965) (0)
Review: Hugues Leblanc, On Definitions (1951) (0)
CHILDREN'S C ONDITIONAL R EASONING PART I I: T OWARDS A RELIABLE T EST OF CONDITIONAL R EASONING A BILITY (1978) (0)
Books received (2011) (0)

This paper list is powered by the following services:

Other Resources About Leon Henkin

en.wikipedia.org

What Schools Are Affiliated With Leon Henkin?

Leon Henkin is affiliated with the following schools:

Image Attributions

Image Source for Leon Henkin