Leon Henkin the reviewer

DOI10.1007/978-3-319-09719-0_10MaRDI QIDQ3454809zbMATHOpenAlexFDO

Authors Concha Martínez Vidal, José Pedro Ubeda Rives

Publication date 27 November 2015

Published in Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-09719-0_10

zbMATH Keywords

type theoryalgebraic logicmetalogicmathematical educationLeon Henkinreviewslogic systemsphilosophy of logic and mathematics

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Recommendations

• Visions of Henkin
• Henkin on completeness
• Tracing back ``logic in wonderland to my work with Leon Henkin
• scientific article; zbMATH DE number 2003401
• The Discovery of My Completeness Proofs

Cites work

• scientific article; zbMATH DE number 3114378 (Why is no real title available?)
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3120839 (Why is no real title available?)
• scientific article; zbMATH DE number 3123147 (Why is no real title available?)
• scientific article; zbMATH DE number 3134289 (Why is no real title available?)
• scientific article; zbMATH DE number 3138525 (Why is no real title available?)
• scientific article; zbMATH DE number 3139743 (Why is no real title available?)
• scientific article; zbMATH DE number 3142900 (Why is no real title available?)
• scientific article; zbMATH DE number 3153136 (Why is no real title available?)
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 3171131 (Why is no real title available?)
• scientific article; zbMATH DE number 3171967 (Why is no real title available?)
• scientific article; zbMATH DE number 3455165 (Why is no real title available?)
• scientific article; zbMATH DE number 3480582 (Why is no real title available?)
• scientific article; zbMATH DE number 1852925 (Why is no real title available?)
• scientific article; zbMATH DE number 799855 (Why is no real title available?)
• scientific article; zbMATH DE number 3237794 (Why is no real title available?)
• scientific article; zbMATH DE number 3239491 (Why is no real title available?)
• scientific article; zbMATH DE number 3248820 (Why is no real title available?)
• scientific article; zbMATH DE number 3263218 (Why is no real title available?)
• scientific article; zbMATH DE number 3269002 (Why is no real title available?)
• scientific article; zbMATH DE number 3269848 (Why is no real title available?)
• scientific article; zbMATH DE number 3273143 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• scientific article; zbMATH DE number 3195513 (Why is no real title available?)
• scientific article; zbMATH DE number 3196255 (Why is no real title available?)
• scientific article; zbMATH DE number 3196257 (Why is no real title available?)
• scientific article; zbMATH DE number 3042947 (Why is no real title available?)
• scientific article; zbMATH DE number 3052792 (Why is no real title available?)
• scientific article; zbMATH DE number 3052793 (Why is no real title available?)
• scientific article; zbMATH DE number 3053259 (Why is no real title available?)
• scientific article; zbMATH DE number 3055928 (Why is no real title available?)
• scientific article; zbMATH DE number 3062896 (Why is no real title available?)
• scientific article; zbMATH DE number 3062913 (Why is no real title available?)
• scientific article; zbMATH DE number 3062915 (Why is no real title available?)
• scientific article; zbMATH DE number 3067654 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• scientific article; zbMATH DE number 3069864 (Why is no real title available?)
• scientific article; zbMATH DE number 3076636 (Why is no real title available?)
• scientific article; zbMATH DE number 3077150 (Why is no real title available?)
• scientific article; zbMATH DE number 3079564 (Why is no real title available?)
• scientific article; zbMATH DE number 3079565 (Why is no real title available?)
• scientific article; zbMATH DE number 3084368 (Why is no real title available?)
• scientific article; zbMATH DE number 3082689 (Why is no real title available?)
• scientific article; zbMATH DE number 3085792 (Why is no real title available?)
• scientific article; zbMATH DE number 3086346 (Why is no real title available?)
• scientific article; zbMATH DE number 3090153 (Why is no real title available?)
• scientific article; zbMATH DE number 3090961 (Why is no real title available?)
• scientific article; zbMATH DE number 3091016 (Why is no real title available?)
• scientific article; zbMATH DE number 3093421 (Why is no real title available?)
• scientific article; zbMATH DE number 3095816 (Why is no real title available?)
• scientific article; zbMATH DE number 3103212 (Why is no real title available?)
• scientific article; zbMATH DE number 3111916 (Why is no real title available?)
• A Euclidean Construction?
• A Functional calculus of first order based on strict implication
• A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
• A formal theorem in Church's theory of types
• A generalization of the concept of ω-consistency
• A generalization of the concept ofω-completeness
• A proof of the Skolem-Löwenheim Theorem
• A proof of the completeness theorem of Grödel
• A theory of prepositional types
• Algebraic Treatment of the Functional Calculi of Heyting and Lewis
• Algebraic treatment of the notion of satisfiability
• Alonzo Church and the Reviews
• An algebraic characterization of quantifiers
• An application of logic to algebra
• An extension of the Craig-Lyndon interpolation theorem
• Are Logic and Mathematics Identical?
• Are Variables Necessary in Calculus
• Completeness in the theory of types
• Completeness of the functional calculus of first order
• Cylindric algebras. Part II
• Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
• Der Aussagenkalkül und die Topologie
• Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe
• Grundzüge der Systemenkalküls I
• Grundzüge des Systemenkalküls II
• In Memoriam: Leon Albert Henkin 1921–2006
• Lattices With Involution
• Les algèbres cylindriques
• Logic and the modalities in the twentieth century
• Logic, methodology and philosophy of science. IV. Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, August 29 - September 4, 1971
• Modalities and Quantification
• On Mathematical Induction
• On Universals
• On absolute properties of relations
• On closed elements in closure algebras
• On existential theorems in non-classical functional calculi
• On the Completeness of Quantification Theory
• On the categoricity in power of elementary deductive systems and some related problems
• On the definition of ‘formal deduction’
• On the metamathematics of algebra
• On the number of complete extensions of the Lewis systems of sentential calculus
• On the representation of 𝜎-complete Boolean algebras
• On weakened quantification
• Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I)
• Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II)
• Partially Ordered Sets
• Proofs of non-deducibility in intuitionistic functional calculus
• Recursive Predicates and Quantifiers
• Relativization of cylindric algebras
• Representable cylindric algebras
• Solution of a problem of Leon Henkin
• Some Interconnections Between Modern Algebra and Mathematical Logic
• Some notes on nominalism
• Some theorems about the sentential calculi of Lewis and Heyting
• Steps toward a constructive nominalism
• Structures algébriques suggérées par la logique mathématique
• The Discovery of My Completeness Proofs
• The Ideas of Variable and Function
• The Logic of Equality
• The algebra of topology
• The algebraic treatment of the methodology of elementary deductive systems
• 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
• The completeness of the first-order functional calculus
• The foundations of mathematics. A study in the philosophy of science
• The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
• The representation of relational algebras
• The theory of models. Proceedings of the 1963 international symposium at Berkeley
• What is Cantor's Continuum Problem?
• Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen

Cited in

(5)

• Tracing back ``logic in wonderland to my work with Leon Henkin
• Pairing logical and pedagogical foundations for the theory of positive rational numbers -- Henkin's unfinished work
• Derrick Henry Lehmer
• Alonzo Church and the Reviews
• Visions of Henkin

This page was built for publication: Leon Henkin the reviewer

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3454809)