Leon Albert Henkin (April 19, 1921, Brooklyn, New York - November 1, 2006, Oakland, California) was an American logician, whose works played a strong role...

Henkin is a Jewish last name and may refer to the following people: Leon Henkin, logician and mathematician Henkin quantifier, a concept he pioneered Gennadi...

expressive power, and they will be assumed for the remainder of this article. Leon Henkin (1950) defined an alternative kind of semantics for second-order and...

David Berlinski, William W. Boone, Martin Davis, Alfred L. Foster, Leon Henkin, John G. Kemeny, Stephen C. Kleene, Simon B. Kochen, Maurice L'Abbé,...

technique in the proof of Gödel's completeness theorem presented by Leon Henkin in 1949. The notion of witness leads to the more general idea of game...

was first proved by Kurt Gödel in 1929. It was then simplified when Leon Henkin observed in his Ph.D. thesis that the hard part of the proof can be presented...

Branching quantification first appeared in a 1959 conference paper of Leon Henkin. Systems of partially ordered quantification are intermediate in strength...

and the Management Sciences. In 1949, he married Estelle Henkin, sister of logician Leon Henkin. His oldest son was oral historian Clifford Kuhn (1952-2015)...

about itself" that it is provable (also known as a Henkin-sentence, named after logician Leon Henkin). It turns out that under suitable meta-mathematical...

ordered quantification, which were originally investigated by Leon Henkin, who studied Henkin quantifiers. Probabilistic semantics originated from Hartry...

Introduction to Mathematical Logic Leon Henkin (Sep 1949) The Completeness of the First-Order Functional Calculus p.160 Leon Henkin (Jun 1996) The Discovery of...

1007/s10992-005-9013-8. S2CID 11038803. Löb, Martin (1955). "Solution of a Problem of Leon Henkin". Journal of Symbolic Logic. 20 (2): 115–118. doi:10.2307/2266895. JSTOR 2266895...

calculus. He is also known for extending the Henkin construction (of Leon Henkin) to what are now called Henkin–Keisler models. He is also known for the Rudin–Keisler...

Mostowski, and R. M. Robinson, 1953. Undecidable theories. North Holland. Leon Henkin, 1995, "In memoriam : Raphael Mitchell Robinson," Bulletin of Symbolic...

American 220: 63–77. 1971 (with Leon Henkin and Donald Monk). Cylindric Algebras: Part I. North-Holland. 1985 (with Leon Henkin and Donald Monk). Cylindric...

aspects were developed, mainly by Tarski himself, as well as C.C. Chang, Leon Henkin, Bjarni Jónsson, Roger Lyndon, and others. In the late 1950s, Edward...

data types Recursion Recursion (computer science) Structural induction Henkin, Leon (1960). "On Mathematical Induction". The American Mathematical Monthly...

361–366. Leon Henkin, J. Donald Monk, and Alfred Tarski (1971) Cylindric Algebras, Part I. North-Holland. ISBN 978-0-7204-2043-2. Leon Henkin, J. Donald...

ISBN 0-19-850825-5. Alfred Tarski (2007). "What is elementary geometry". In Leon Henkin; Patrick Suppes; Alfred Tarski (eds.). Studies in Logic and the Foundations...

Hegel (Germany, 1770–1831) Jean Van Heijenoort (France/US, 1912–1986) Leon Henkin (US, 1921–2006) Jacques Herbrand (France, 1908–1931) Arend Heyting (Netherlands...

models where the range of quantifiers can be restricted, named after Leon Henkin. Henkin sentence A sentence that asserts its own provability, possibly by...

ZFC and Peano arithmetic; Cylindric algebra, devised by Alfred Tarski, Leon Henkin, and others; The polyadic algebra of Paul Halmos. The two most common...

historian (d. 2019) 1921 – Anna Lee Aldred, American jockey (d. 2006) 1921 – Leon Henkin, American logician (d. 2006) 1921 – Roberto Tucci, Italian Jesuit leader...

German mathematical logician. Independently and simultaneously with Leon Henkin in 1949, he developed a new proof of the completeness theorem of Kurt...

Katherine Heinrich Christine Heitsch Harald Helfgott John William Helton Leon Henkin Gabor Herman John Hershberger Israel Nathan Herstein Agnes M. Herzberg...

bibliography Leon Battista Alberti Léon Brunschvicg Leon Chwistek Leon Czolgosz Léon Dumont Leon Henkin Léon Ollé-Laprune Leon Petrazycki Leon Petrażycki Leon Trotsky...

of Mathematics Robin Hartshorne – Professor Emeritus of Mathematics Leon Henkin – Professor of Mathematics, Department Chairman 1966–1968, 1984–1985...

1956 Richard H. Bruck 1960 Cornelius Lanczos 1963 Philip J. Davis 1964 Leon Henkin 1965 Jack K. Hale & Joseph P. LaSalle 1967 Guido Weiss 1968 Mark Kac...

the University of California at Berkeley, following an invitation by Leon Henkin. Carnielli contributed to the proof theory and semantics of many-valued...

was noted for several decades by logicians such as Georg Kreisel and Leon Henkin, who asked whether the formal sentence expressing "This sentence is provable"...