Job title:
Professor Emeritus
Research area:
Bio:
Year Appointed: 1962
Retired: 1994
Other Affiliations: Group in Logic and the Methodology of Science
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.
Research interests:
Theory of definability, Descriptive set theory, Model theory, Recursive function theory
