Set theory : an introduction to large cardinals - Drake, F. R. (Frank Robert) (North-Holland, 1974)