Kochen, Simon Bernard, <i>Ultrafiltered Products and Arithmetical Extensions.</i> Ph.D., Princeton University, 1959.