JOB TITLE: Professor Emeritus
Obituary from the newsletter of the Group in Logic and the Methodology of Science:
It is with great sadness that we announce that Professor Jack Howard Silver died on Thursday, December 22, 2016. Professor Silver was born in 1942 in Missoula, Montana. After earning his A.B. at Montana State University (now the University of Montana) in 1961, he entered graduate school in mathematics at UC Berkeley. His thesis, completed in 1966, was supervised by Robert Vaught. In 1967 he joined the mathematics department at UC Berkeley where he also became a member of the Group in Logic and the Methodology of Science. He quickly rose through the ranks obtaining promotion to associate professor in 1970 and to full professor in 1975. From 1970 to 1972 he was an Alfred P. Sloan Research Fellow. Silver retired in 2010. At UC Berkeley he advised eighteen students, three of whom were in the Group in Logic (Burgess, Ignjatovich, Zach). His mathematical interests included set theory, model theory, and proof theory. His production was not extensive but his results were deep. A short summary of his results in set theory can be found here. Professor Silver was skeptical of the consistency of ZFC and even of third-order number theory. As Prof. Robert Solovay recently put it: “For at least the last 20 years, Jack was convinced that measurable cardinals (and indeed ZFC) was inconsistent. He strove mightily to prove this. If he had succeeded it would have been the theorem of the century (at least) in set theory.” He will be greatly missed.
PRIMARY RESEARCH AREA: Mathematical Logic
RESEARCH INTERESTS: Mathematical logic, Theory of sets
SELECTED PUBLICATIONS:
- Silver, Jack H. (1980). Counting the number of equivalence classes of Borel and coanalytic equivalence relations. Ann. Math. Logic 18 No.1, 1-28. [MR] [GS?]
- Silver, Jack (1975). On the singular cardinals problem. In Proceedings of the International Congress of Mathematicians (Vancouver, B. C., 1974), Vol. 1 265-268 Canad. Math. Congress, Montreal, Que. [MR] [GS?]
- Silver, Jack H. (1974). Indecomposable ultrafilters and 0#. In Proceedings of the Tarski Symposium (Proc. Sympos. Pure Math., Vol. XXV, Univ. Calif., Berkeley, Calif., 1971) 357-363 Amer. Math. Soc. Providence, R.I. [MR] [GS?]
- Silver, Jack H. (1973). The bearing of large cardinals on constructibility. In Studies in model theory 158-182. MAA Studies in Math., Vol. 8 Math. Assoc. Amer., Buffalo, N.Y. [MR] [GS?]
- Silver, Jack H. (1971). Some applications of model theory in set theory. Ann. Math. Logic 3 No.1, 45-110. [MR] [GS?]
