Professor Emeritus

Research 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


Publications Selected Publications:

[1]
J. W. Addison.
éloge: Alfred Tarski: 1901-1983.
Ann. Hist. Comput., 6(4):335-336, 1984.

[2]
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.

[3]
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.

[4]
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.

[5]
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.