Leon Henkin

Available identifiers

zbMath Open henkin.leonWikidataQ111637 ScholiaQ111637MaRDI QIDQ1064323

List of research outcomes

Publication	Date of Publication	Type
Are Logic and Mathematics Identical?	2011-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q3086771	2011-03-30	Paper
The Discovery of My Completeness Proofs	1998-03-12	Paper
In Memoriam: Raphael Mitchel Robinson	1996-02-01	Paper
Representable cylindric algebras	1986-01-01	Paper
Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing	1985-01-01	Paper
Cylindric algebras. Part II	1985-01-01	Paper
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	1981-01-01	Paper
A Euclidean Construction?	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3893925	1977-01-01	Paper
The Logic of Equality	1977-01-01	Paper
Relativization of cylindric algebras	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4091892	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4054981	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4063140	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5681997	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5616133	1971-01-01	Paper
Mathematical Foundations for Mathematics	1971-01-01	Paper
Extending Boolean operations	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5537625	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5549024	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5330619	1964-01-01	Paper
An extension of the Craig-Lyndon interpolation theorem	1964-01-01	Paper
A theory of prepositional types	1963-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5525312	1963-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3847888	1962-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5526939	1962-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5731900	1962-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5732647	1961-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5732648	1961-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5557883	1960-01-01	Paper
On Mathematical Induction	1960-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5599163	1960-01-01	Paper
A generalization of the concept ofω-completeness	1957-01-01	Paper
Two concepts from the theory of models	1956-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3235796	1956-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3235798	1956-01-01	Paper
On the definition of ‘formal deduction’	1956-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3259697	1956-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3229408	1955-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3259696	1955-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5850527	1955-01-01	Paper
Boolean representation trough propositional calculus	1954-01-01	Paper
A generalization of the concept of ω-consistency	1954-01-01	Paper
Some notes on nominalism	1953-01-01	Paper
Some Interconnections Between Modern Algebra and Mathematical Logic	1953-01-01	Paper
Banishing the rule of substitution for functional variables	1953-01-01	Paper
Completeness in the theory of types	1950-01-01	Paper
An algebraic characterization of quantifiers	1950-01-01	Paper
A Problem on Inverse Mapping Systems	1950-01-01	Paper
The completeness of the first-order functional calculus	1949-01-01	Paper
Fragments of the propositional calculus	1949-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Leon Henkin