Job Title: Professor Emeritus
Other Affiliations: Group in Logic and the Methodology of Science
Research Area: Mathematical Logic
Research Interests: Theory of definability, Descriptive set theory, Model theory, Recursive function theory
Selected Publications:
- J. W. Addison. Éloge: Alfred Tarski: 1901-1983. Ann. Hist. Comput., 6(4):335-336, 1984.
- William Craig, C. C. Chang, Leon Henkin, John Addison, Dana Scott, and Robert Vaught, editors. Proceedings of the Tarski Symposium, Proceedings of Symposia in Pure Mathematics, XXV, Providence, R.I., 1979. American Mathematical Society. Held at the University of California, Berkeley, Calif., June 23-30, 1971, Corrected reprint of the 1974 original.
- J. W. Addison. Current problems in descriptive set theory. In Axiomatic set theory (Proc. Sympos. Pure Math., Vol. XIII, Part II, Univ. California, Los Angeles, Calif., 1967), pages 1-10. Amer. Math. Soc., Providence, R.I., 1974.
- Leon Henkin, John Addison, William Craig, and Robert Vaught, editors. Proceedings of the Tarski Symposium. Published for the Association for Symbolic Logic by the American Mathematical Society, Providence, R. I., 1974. An international symposium held at the University of California, Berkeley, June 23-30, 1971, to honor Alfred Tarski on the occasion of his seventieth birthday.
- J. W. Addison and Yiannis N. Moschovakis. Some consequences of the axiom of definable determinateness. Proc. Nat. Acad. Sci. U.S.A., 59:708-712, 1968.
