“…Now, arbitrarily pick A ∈ Σ. Since Σ = T, there exists a (D)-sequence (a t,l ) t,l satisfying (14). Since R is super Dedekind complete and weakly σ-distributive, by Theorem 2.6, (2), in correspondence with (a t,l ) t,l , we find a sequence (ϕ n ) n in N N and an (O)-sequence (b n ) n such that, for each n ∈ N, ∞ t=1 a t,ϕ n (t) ≤ b n , and thus, there exist D *…”