by Paul B. Larson
"This book is suitable for a graduate course that assumes some familiarity with forcing, constructibility, and ultrapowers. It is also recommended for researchers interested in logic, set theory, a…