Bachelor of Science with distinction, Tel Aviv University, 1964. Master of Science with distinction, Hebrew University, Jerusalem, 1968. Doctor of Philosophy summa cum laude, Hebrew University, Jerusalem, 1970.
Teaching assistant Institute of Mathematics Hebrew University, Jerusalem, 1967—1969, instructor, 1969, assistant professor, 1971—1972, associate professor, 1972—1974, professor, since 1974, A. Robinson chair mathematics logic, since 1978. Lecturer department mathematics Princeton University, New Jersey, 1969—1970, head, model theory group, Institute Advanced Studies, 1980—1981. Assistant professor University of California at Los Angeles, 1970—1971.
Distinguished visiting professor Rutgers University, New Jersey, since 1986. With Israel Defense Forces Army, 1964-1967.
Member of Israeli Academy of Sciences and Humanities, American Mathematics Society, Israel Mathematics Society, Association Symbolic Logic (C. Karp prize 1983), American Academy Arts and Science (honorary).