Leon Henkin the Reviewer

DOI10.1007/978-3-319-09719-0_10zbMath1331.01025MaRDI QIDQ3454809

José Pedro Ubeda Rives, Concha Martínez Vidal

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

algebraic logic; type theory; metalogic; mathematical education; Leon Henkin; reviews; logic systems; philosophy of logic and mathematics

Mathematics Subject Classification ID

01A60: History of mathematics in the 20th century

01A70: Biographies, obituaries, personalia, bibliographies

03-03: History of mathematical logic and foundations

Cites Work

• The Ideas of Variable and Function
• On the categoricity in power of elementary deductive systems and some related problems
• On existential theorems in non-classical functional calculi
• A generalization of the concept of ω-consistency
• An application of logic to algebra
• On the number of complete extensions of the Lewis systems of sentential calculus
• A Functional calculus of first order based on strict implication
• Modalities and Quantification
• On weakened quantification
• Recursive Predicates and Quantifiers
• A formal theorem in Church's theory of types
• Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completeness of the functional calculus of first order
• The algebraic treatment of the methodology of elementary deductive systems
• The foundations of mathematics. A study in the philosophy of science
• 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
• Cylindric algebras. Part II
• 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
• 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
• Representable cylindric algebras
• Logic and the modalities in the twentieth century
• The theory of models. Proceedings of the 1963 international symposium at Berkeley
• 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
• On the metamathematics of algebra
• The algebra of topology
• On closed elements in closure algebras
• Are Logic and Mathematics Identical?
• Solution of a problem of Leon Henkin
• Some notes on nominalism
• On the definition of ‘formal deduction’
• A generalization of the concept ofω-completeness
• Structures algébriques suggérées par la logique mathématique
• Les algèbres cylindriques
• In Memoriam: Leon Albert Henkin 1921–2006
• Relativization of cylindric algebras
• The Logic of Equality
• A Euclidean Construction?
• Alonzo Church and the Reviews
• Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
• The Discovery of My Completeness Proofs
• A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
• 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)
• A theory of prepositional types
• On Mathematical Induction
• An extension of the Craig-Lyndon interpolation theorem
• Lattices With Involution
• Grundzüge der Systemenkalküls I
• Grundzüge des Systemenkalküls II
• Partially Ordered Sets
• Der Aussagenkalkül und die Topologie
• On absolute properties of relations
• Proofs of non-deducibility in intuitionistic functional calculus
• On the representation of 𝜎-complete Boolean algebras
• The completeness of the first-order functional calculus
• Are Variables Necessary in Calculus
• On Universals
• Some theorems about the sentential calculi of Lewis and Heyting
• What is Cantor's Continuum Problem?
• Completeness in the theory of types
• A proof of the completeness theorem of Grödel
• Steps toward a constructive nominalism
• An algebraic characterization of quantifiers
• Algebraic Treatment of the Functional Calculi of Heyting and Lewis
• A proof of the Skolem-Löwenheim Theorem
• On the Completeness of Quantification Theory
• Some Interconnections Between Modern Algebra and Mathematical Logic
• Algebraic treatment of the notion of satisfiability