Buy article online - an online subscription or single-article purchase is required to access this article.
short communications
Seminvariant vector and modulus give conditions for the possible reflections of a superposition structure with atomic positions related to the multiple implication function. This concept naturally leads to the Σ1 formula.