I made a mistake in the statement of the conjecture as published on OPG. I corrected the problem statement both on OPG and on my blog. It should be rather than .
Indeed the equivalent reformulations of the theorem are correct and my proof (of a more general statement than this theorem) is not affected by the above mentioned error.
Robert, you do not understand me because I introduced new notations (that up, down, Cor, etc.) You may wish to read my preprint about these things (filters on posets and generalizations).
login/create account
Drupal
CSI of Charles University
Oh, my mistake
I made a mistake in the statement of the conjecture as published on OPG. I corrected the problem statement both on OPG and on my blog. It should be
rather than 
.
Indeed the equivalent reformulations of the theorem are correct and my proof (of a more general statement than this theorem) is not affected by the above mentioned error.
Robert, you do not understand me because I introduced new notations (that up, down, Cor, etc.) You may wish to read my preprint about these things (filters on posets and generalizations).