Weak sunflower conjecture, again, is a well-established name, but a bit confusing because there are also weak Delta systems aka weak sunflowers, which also have their own conjecture by Erdos and Rado, but are not involved in the statement of the Erdos-Szemeredi sunflower conjecture.

]]>In the same vein as Ferdinand, thanks for the reporting!

The links that Ferdinand mentioned aren’t working for me either. The sunflower conjecture has an easy to process Wikipedia statement, however there’s none for Croot-Lev-Pach.

Best wishes,

Jon

The link for the (weak) sunflower conjecture and the Croot-Lev-Pach bound do not work. At least not without a WordPress account.

]]>I am interested in Minion because I would like to use it (or something similar) to hunt for large counterexamples in loop theory because it is claimed that such tools scale well. The model builder I currently use, Mace4, is only practical for small loops. The steepness of the Minion learning curve is proportional to how easy it is to encode universally quantified identities, but I haven’t looked in enough detail to figure this out.

]]>