Alfred Horn

Q: What Schools Are Affiliated With Alfred Horn

Alfred Horn is affiliated with the following schools: University of California, Berkeley, University of California, Los Angeles, New York University

Alfred Horn's AcademicInfluence.com Rankings

Alfred Horn

Mathematics

#795

World Rank

#1427

Historical Rank

#347

USA Rank

Measure Theory

#2402

World Rank

#2872

Historical Rank

#683

USA Rank

mathematics Degrees

Download Badge

Mathematics

Alfred Horn's Degrees

PhD Mathematics University of California, Berkeley
Masters Mathematics University of California, Berkeley
Bachelors Mathematics University of California, Berkeley

Similar Degrees You Can Earn

Best Online Bachelor's in Math 2025

Why Is Alfred Horn Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Alfred Horn was an American mathematician notable for his work in lattice theory and universal algebra. His 1951 paper "On sentences which are true of direct unions of algebras" described Horn clauses and Horn sentences, which later would form the foundation of logic programming.

(See a Problem?)

Alfred Horn'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

Doubly Stochastic Matrices and the Diagonal of a Rotation Matrix (1954) (453)
On sentences which are true of direct unions of algebras (1951) (386)
Logic with truth values in A linearly ordered heyting algebra (1969) (163)
Measures in Boolean algebras (1948) (152)
Eigenvalues of sums of Hermitian matrices (1962) (144)
On the eigenvalues of a matrix with prescribed singular values (1954) (112)
On the singular values of a product of completely continuous operators. (1950) (91)
Congruence relations in direct products (1970) (90)
The category of semilattices (1971) (80)
Injective and projective Heyting algebras (1970) (72)
Free L-algebras (1969) (57)
The separation theorem of intuitionist propositional calculus (1962) (52)
Some properties of $L$-sets in the plane (1949) (51)
Logics Which Are Characterized by Subresiduated Lattices (1976) (44)
P-Algebras, an abstraction from Post algebras (1974) (44)
Projective distributive lattices. (1970) (35)
Some generalizations of Helly's theorem on convex sets (1949) (32)
A Characterization of Union of Linearly Independent Sets (1955) (30)
Eigenvalues of the unitary part of a matrix. (1959) (25)
Chain based lattices. (1974) (23)
The normal completion of a subset of a complete lattice and lattices of continuous functions (1953) (20)
Singular Values of a Matrix (1958) (19)
On the representation of α-complete lattices (1962) (10)
Operations preserving all equivalence relations (1970) (10)
Order sums of distributive lattices. (1967) (8)
A property of free Boolean algebras (1968) (8)
Free S5 algebras (1978) (7)
Review: C.C. Chang, Algebraization of Infinitely Many-Valued Logic; C. C. Chang, Algebraic Analysis of Many Valued Logics; C. C. Chang, A New Proof of the Completeness of the Lukasiewicz Axioms (1971) (5)
Finite limitations on a propositional calculus for affirmation and negation (1974) (5)
Propositional calculi based on subresiduation (1974) (4)
On Maharam’s conditions for measure (1948) (3)
Trader Horn : being the life and works of Alfred Aloysius Horn : an "Old Visiter" ... (2)
An Extension of Mirsky's Existence Theorem (1961) (1)
Trader Horn : the Ivory Coast in the earlies (1932) (1)
The waters of Africa (1)
Projective covers of distributive lattices (1976) (1)
Trader Horn : being the life and works of Alfred Aloysius Horn : the works written by himself at the age of seventy-three and the life, with such of his philosophy as is the gift of age & experience (1)
The asymptotic behavior of solutions of systems of Volterra integral equations (1948) (0)
Harold the webbed or the Young Vykings : being volume two of the life and works of Trader Horn (0)
Review: Tsutomu Hosoi, On the Separation Theorem of Intermediate Propositional Calculi; Tsutomu Hosoi, The Separable Axiomatization of the Intermediate Propositional Systems $S_n$ of Godel (1969) (0)
Review: Tsutomu Hosoi, Algebraic Proof of the Separation Theorem on Classical Propositional Calculus; Tsutomu Hosoi, Algebraic Proof of the Separation Theorem on Dummett's LC (1968) (0)
Core points in double Heyting algebras and dissectable lattices (1983) (0)
The waters of Africa : being the further adventures of trader Horn (0)
The Ivory Coast in the earlies : the narrative of a boy trader's adventures in the Seventies, through which runs the strange thread that is the history - meagre, but all that is available - of a young English gentlewoman (0)
Harold the Webbed, or, The young Vykings (0)
Book review (1991) (0)
Review: Frank W. Anderson, Function Lattices (1962) (0)
EXISTENTIAL HORN SENTENCES (2010) (0)
Trader Horn in Madagascar : the waters of Africa (1932) (0)
H. Rasiowa and R. Sikorski. On the isomorphism of Lindenbaum algebras with fields of sets. Colloquium mathematicum , vol. 5 (1958), pp. 143–158. (1962) (0)
Review: Daniel Ponasse, Mathematical Logic (1976) (0)
Review: H. Rasiowa, R. Sikorski, On the Isomorphism of Lindenbaum Algebras with Fields of Sets (1962) (0)
The waters of Africa : being volume three of the life and works of Trader Horn (0)
Anderson Frank W.. Function lattices. Lattice theory. Proceedings of symposia in pure mathematics, vol. 2 (1961), pp. 198–202. (1962) (0)

This paper list is powered by the following services:

Other Resources About Alfred Horn

en.wikipedia.org

What Schools Are Affiliated With Alfred Horn?

Alfred Horn is affiliated with the following schools:

Alfred Horn's Academic­Influence.com Rankings