I’ve put a partial partial proof of “Every filter on a set can be strongly partitioned into ultrafilters” conjecture at PlanetMath. Please collaborate in solving this conjecture.
I’ve put a partial partial proof of “Every filter on a set can be strongly partitioned into ultrafilters” conjecture at PlanetMath. Please collaborate in solving this conjecture.