Kochen, S. Bernard. (1959). <i>Ultrafiltered products and arithmetical extensions.</i> .