John W. Addison Jr.

Professor Emeritus
Primary Research Area: 
Mathematical Logic
Research Interests: 
Theory of definability, Descriptive set theory, Model theory, Recursive function theory
Contact Information
797 Evans Hall
addison [at] math [dot] berkeley [dot] edu
+1 (510) 642-2147
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.