Benjamin Abram Bernstein (20 May 1881, Pasvalys, Lithuania – 25 September 1964, Berkeley, California) was an American mathematician, specializing in mathematical logic.
With his family, Bernstein immigrated as a child to the United States. After completing public primary education in 1897 in Baltimore, he completed in 1902 his secondary education at Baltimore City College, and then received in 1905 his A.B. degree from Johns Hopkins University. After completing two years of graduate study at Johns Hopkins University, he became in 1907 an instructor and continuing graduate student in mathematics at the University of California, Berkeley. There he received in 1913, with supervisor Mellen W. Haskell, his Ph.D. At Berkeley, Bernstein became in 1918 an assistant professor, in 1923 an associate professor, and in 1928 a full professor of mathematics, retiring in 1951 as professor emeritus.
When Professor Bernstein began his studies in mathematics, the subject of algebra of logic, or mathematical logic, was just beginning to receive intensive scholarly study, mainly from philosophers. Along with E. V. Huntington of Harvard, Professor Bernstein was a pioneer in this field from the mathematical point of view. ... During this early period in the history of mathematical logic, a notable event for the subject was the publication of Principia Mathematica, by Whitehead and Russell. Professor Bernstein was an intensive and critical student of this Principia and discussed it in many papers.
He was an Invited Speaker at the ICM in 1924 in Toronto. His doctoral students include Robert Levit and J.C.C. McKinsey.
In June 1920 in New York City, Professor Bernstein married Rose Davidson; her brother was the famous sculptor Jo Davidson. Bernstein was predeceased by his wife and upon his death was survived by a daughter and a granddaughter.
with A. O. Leuschner: "Note on the graphical solutions of the fundamental equations in the short methods of determining orbits". Bull. Amer. Math. Soc. 18: 294–298. 1912. doi:10.1090/s0002-9904-1912-02211-5. MR 1559207.
"A simplification of the Whitehead-Huntington set of postulates for boolean algebras". Bull. Amer. Math. Soc. 22: 458–459. 1916. doi:10.1090/s0002-9904-1916-02831-x. MR 1559829.
"A set of four independent postulates for Boolean algebras". Trans. Amer. Math. Soc. 17: 50–52. 1916. doi:10.1090/s0002-9947-1916-1501029-5. MR 1501029.
"The complete existential theory of Hurwitz's postulates for abelian groups and fields". Bull. Amer. Math. Soc. 28: 397–399. 1922. doi:10.1090/s0002-9904-1922-03600-2. MR 1560594.
"Operations with respect to which the elements of a Boolean algebra form a group". Trans. Amer. Math. Soc. 26: 171–175. 1924. doi:10.1090/s0002-9947-1924-1501271-8. MR 1501271.
Errata for 1924 Trans. Amer. Math. Soc. vol. 26, pages 171–175: published Trans. Amer. Math. Soc. 27 (1925) 600. MR1500497
"Representation of three-element algebras". American Journal of Mathematics. 46 (2): 110–116. 1924. doi:10.2307/2370826.
"Sets of postulates for the logic of propositions". Trans. Amer. Math. Soc. 28: 472–478. 1926. doi:10.1090/s0002-9947-1926-1501359-3. MR 1501359.
"On the existence of fields in Boolean algebras". Trans. Amer. Math. Soc. 28: 654–657. 1926. doi:10.1090/s0002-9947-1926-1501369-6. MR 1501369.
"Whitehead and Russell's theory of deduction as a mathematical science". Bull. Amer. Math. Soc. 37: 480–488. 1931. doi:10.1090/s0002-9904-1931-05191-0. MR 1562173.
"Application of Boolean algebra to proving consistency and independence of postulates". Bull. Amer. Math. Soc. 37: 715–719. 1931. doi:10.1090/s0002-9904-1931-05242-3. MR 1562241.
with Nemo Debely: "A practical method for the modular representation of finite operations and relations". Bull. Amer. Math. Soc. 38: 110–114. 1932. doi:10.1090/s0002-9904-1932-05338-1. MR 1562337.
"On proposition *4.78 of Principia Mathematica". Bull. Amer. Math. Soc. 38: 388–391. 1932. doi:10.1090/s0002-9904-1932-05400-3. MR 1562404.
"Relation of Whitehead and Russell's theory of deduction to the Boolean logic of propositions". Bull. Amer. Math. Soc. 38: 589–593. 1932. doi:10.1090/s0002-9904-1932-05464-7. MR 1562463.
"On unit-zero Boolean representations of operations and relations". Bull. Amer. Math. Soc. 38: 707–712. 1932. doi:10.1090/s0002-9904-1932-05507-0. MR 1562493.
"Remarks on Propositions *1.1 and *3.35 of Principia Mathematica". Bull. Amer. Math. Soc. 39: 111–114. 1933. doi:10.1090/s0002-9904-1933-05576-3. MR 1562562.
"Simplification of the set of four postulates for Boolean algebras in terms of rejection". Bull. Amer. Math. Soc. 39: 783–787. 1933. doi:10.1090/s0002-9904-1933-05738-5. MR 1562729.
"On Section A of Principia Mathematica". Bull. Amer. Math. Soc. 39: 788–792. 1933. doi:10.1090/s0002-9904-1933-05740-3. MR 1562730.
"A set of four postulates for Boolean algebra in terms of the "implicative" operation". Trans. Amer. Math. Soc. 36: 876–884. 1934. doi:10.1090/s0002-9947-1934-1501773-0. MR 1501773.
"Postulates for Boolean algebra involving the operation of complete disjunction". Annals of Mathematics: 317–325. 1936. doi:10.2307/1968444.
"Remarks on Nicod's reduction of Principia Mathematica". Journal of Symbolic Logic. 2 (4): 165–166. December 1937. doi:10.2307/2268282.
"Postulates for abelian groups and fields in terms of non-associative operations". Trans. Amer. Math. Soc. 43: 1–6. 1938. doi:10.1090/s0002-9947-1938-1501932-0. MR 1501932.
with Alfred L. Foster: "Symmetric Approach to Commutative Rings with Duality Theorem: Boolean Duality as Special Case". Duke Mathematical Journal. 11: 603–616. September 1944. doi:10.1215/s0012-7094-44-01153-1.
"Postulate-sets for Boolean rings". Trans. Amer. Math. Soc. 55: 393–400. 1944. doi:10.1090/s0002-9947-1944-0009944-6. MR 0009944.
"Weak definitions of a field". Duke Mathematical Journal. 14: 475–482. 1947. doi:10.1215/s0012-7094-47-01439-7.
