It is known that the theory of abelian groups has a model companion but that the theory of groups does not. We show that for any fixed 22 a 2 the theory of groups solvable of length s 22 has no model companion. For the metabelian case (22 = 2) we prove the stronger result that the classes of finitely generic, infinitely generic, and existentially complete metabelian groups are all distinct. We ...

concept of “economic man” is one of the principal assumptions of economic approach to law. based on this assumption, economic approach, a modern and leading school of thought in legal philosophy, seeks to explain and predict individual behavior in legal framework and make recommendations and prescriptions so as to improve the effects of laws and regulations on legal actors. in this paper, in ad...

This paper offers an analysis of the meaning of although set within the framework of Relevance Theory. In line with Iten (1998b), although is seen as encoding procedural information that constrains the inferential processes involved in the derivation of implicatures. However, the current account differs from Iten (1998b) in several points. First, it suggests that utterances of the form Q althou...

The identity-based signature (IBS) scheme proposed by Sakai, Ohgishi and Kasahara in 2000, which we refer to as the SOK-IBS scheme, is the first pairing-based IBS scheme. Though most other existing IBS schemes, especially two modified SOK-IBS schemes, have already been proved secure recently, the security of the original SOKIBS scheme is still unclear. In this paper, we prove that the original ...