A partial proof of “Partitioning a filter into ultrafilters” 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.

Leave a Reply