2685
He obtained his Ph.D. at the Hebrew University of Jerusalem University of Jerusa Azriel L em in 1958, under the supervision of Abraham Fraenkel and Abraham Robinson. Using Cohen's method of forcing, he proved several results on the consistency of various statements contradicting the axiom of choice. For example, with J. D. Halpern he proved that the Boolean prime ideal theorem does not imply the axiom of choice. He discovered the models L''x'' used in inner model theory. He also introduced the notions of Levy hierarchy of the formulas of set theory and Levy collapse. His notable students include Dov Gabbay, Moti Gitik, Menachem Magidor.
 education institution: Azriel L, Hebrew University of Jerusalem
Given a phrase that describes the relationship between two words, extract the words and the lexical relationship between them. The output format should be "relation1: word1, word2; relation2: word3, word4". 
Option: place of death, place of birth, education degree, education institution 
Text: {0} 
Answer:
 education institution: Azriel L, Hebrew University of Jerusalem