The notion of right-ordered groups is fundamental in theories of I-groups, ordered groups, torsion-free groups, and the theory of zero-divisors free rings, as well as in theoretical physics. Right-Ordered Groups is the first book to provide a systematic presentation of right-ordered group theory, describing all known and new results in the field. The volume addresses topics such as right-ordered groups and order permutation groups, the system of convex subgroups of a right-ordered group, and free products of right-ordered groups.

The theory of quasivarieties constitutes an independent direction in algebra and mathematical logic and specializes in a fragment of first-order logic-the so-called universal Horn logic. This treatise uniformly presents the principal directions of the theory from an effective algebraic approach developed by the author himself. A revolutionary exposition, this influential text contains a number of results never before published in book form, featuring in-depth commentary for applications of quasivarieties to graphs, convex geometries, and formal languages. Key features include coverage of the...

The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models are investigated by constructing representations on the set of natural numbers and studying relations between algorithmic and structural properties of these models.
This book is a very readable exposition of the modern theory of constructive models and describes methods and approaches developed by representatives of the Siberian school of algebra and logic and some...

''Excellent and very timely....It will undoubtedly become a standard reference for the application of circular dichroism (CD) to biomolecules.'' --- Quarterly Review of Biology, March 1997 '' T]estament to the book's utility is the fact that during the course of my review I had to 'rescue' it from the desks of graduate students on an almost daily basis. In summary, this is a great book.'' --- American Scientist ''Well documented chapters provide a very good insight into the problems surrounding the conformation of biomacromolecules...An indispensible source of information.''...

A comprehensive treatment of the theory and design of regenerative heat exchangers for cryogenic applications in light of the emergence of such applications and the commercialization of regenerative devices. Explains the unusual design characteristics required by the periodic heat exchange in regene

The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models are investigated by constructing representations on the set of natural numbers and studying relations between algorithmic and structural properties of these models.
This book is a very readable exposition of the modern theory of constructive models and describes methods and approaches developed by representatives of the Siberian school of algebra and logic and some...

For more than 30 years, the author has studied the model-theoretic aspects of the theory of valued fields and multi-valued fields. Many of the key results included in this book were obtained by the author whilst preparing the manuscript. Thus the unique overview of the theory, as developed in the book, has been previously unavailable.
The book deals with the theory of valued fields and mutli-valued fields. The theory of Prufer rings is discussed from the geometric' point of view. The author shows that by introducing the Zariski topology on families of valuation rings, it is possible to...