The existence of free ultrafilters on ω does not imply the extension of filters on ω to ultrafilters

From MaRDI portal
Publication:2856631