the following year he joined ensign but left after two more failures to qualify shelah's work has had a deep impact on model theory and set theory gutanga ibikoresho by'isuku n'isukura