Mathias forcing and ultrafilters
scientific article; zbMATH DE number 6646565