‎In this paper‎, ‎we prove that the category of crossed polymodules (i.e‎. ‎crossed modules of polygroups) and their morphisms is finitely complete‎. ‎We‎, ‎therefore‎, ‎generalize the group theoretical case of this completeness property of crossed modules‎.

In this paper, we give an extension of the J\'{o}nsson-Tarski representation theorem for both normal and non-normal modal algebras so that it preserves countably many infinitary meets joins. To extend to consider neighborhood frames instead Kripke just as Do\v{s}en's duality algebras, deal with infinite joins, make use Q-filters prime filters. Then, show every predicate logic, whether is or non...

A two-electron basis-set completeness profile is proposed by analogy with the one-electron profile introduced by D. P. Chong (Can J Chem 1995, 73, 79). It is defined as Y(α, β) = ∑m ∑n〈Gα(1)Gβ(2)|(1/r12)| m(1) n(2)〉〈 m(1) n(2)|r12|Gα(1)Gβ(2)〉 and motivated by the expression for the basis-set truncation correction that occurs in the framework of explicitly correlated methods. The two-electron ba...