I’ve partially solved my conjecture, proposed Polymath problem described at this page.
The problem asks which of certain four expressions about filters on a set are always pairwise equal.
I have proved that the first three of them are equal, equality with the fourth remains an open problem.
For the (partial) solution see this online article or my book.
One Response