In the present paper, we classify groups with the same order and degree pattern as an almost simple group related to the projective special linear simple group L2(49). As a consequence of this result we can give a positive answer to a conjecture of W. J. Shi and J. X. Bi, for all almost simple groups related to L2(49) except L2(49) · 22. Also, we prove that if M is an almost simple group relate...

We prove that PTIME generalized quantifiers are closed under Boolean operations, iteration, cumulation and resumption.