Vol. 454. Hirschfeld, Joram 
Forcing, arithmetic, division rings 
QA9.7 H57