I’ve proved the following conjecture:
Theorem Let be a staroid such that
is an atomic lattice for
each . We have
for every (where upgrading is taken on the primary filtrator).
The proof is based on transfinite recursion. See this online article for the proof.
The above proof was with an error. Now there is a counter-example in the same article.