In her recent stimulating book NICHOLS (1992) suggests that there are no correlations between word order type and morphological alignment, where by alignment is meant the patterns of argument marking in mono-transitive and intransitive clauses, e.g. accusative, ergative, active, tripartite, hierarchical and neutral. Her findings pertain to the relationship between word order type and the domina...

This study examines the same-order type of G, suppose G be a finite group that α(G)=S_tt∈πe(G) and define nse(G) or α(G) is whose S_t number elements order t t∈π_e (G) π_e set G. If |G|=n in then we say α_n-group. Shin [1] showed every α_2-group nilpotent α_3-group solvable. In addition, structure such proved if an α_n-group |π(G)|≤n, conjectures researcher nonabelian simple group. proves group...

ing from the embeddability relation between order types, define a quasi-order to be a reflexive, transitive relation. Throughout this paper, the letters Q and R will range over quasi-ordered sets and classes. Various quasi-ordered spaces will be defined; in each case we will use the symbol < (perhaps with subscripts) to denote the quasi-order under consideration. If q1, q2 E Q, write ql < q2 to...

Intensional type analysis provides the ability to analyze abstracted types at run time. In this paper, we extend that ability to higherorder and kind-polymorphic type constructors. The resulting language is elegant and expressive. We show through examples how it extends the repertoire of polytypic definitions and the domain of valid types for those