A Comprehensive Course in Analysis by Poincar Prize winner Barry Simon is a five-volume set that can serve as a graduate-level analysis textbook with a lot of additional bonus information, including hundreds of problems and numerous notes that extend the text and provide important historical background. Depth and breadth of exposition make this set a valuable reference source for almost all areas of classical analysis

W. J. Blok and Don Pigozzi set out to try to answer the question of what it means for a logic to have algebraic semantics. In this seminal book they transformed the study of algebraic logic by giving a general framework for the study of logics by algebraic means. The Dutch mathematician W. J. Blok (1947-2003) received his doctorate from the University of Amsterdam in 1979 and was Professor of Mathematics at the University of Illinois, Chicago until his death in an automobile accident. Don Pigozzi (1935- ) grew up in Oakland, California, received his doctorate from the University of California, Berkeley in 1970, and was Professor of Mathematics at Iowa State University until his retirement in 2002. The Advanced Reasoning Forum is pleased to make available in its Classic Reprints series this exact reproduction of the 1989 text, with a new errata sheet prepared by Don Pigozzi.

The notions of torsion and torsion freeness have played a very important role in module theory--particularly in the study of modules over integral domains. Furthermore, the use of homological techniques in this connection has been well established. It is the aim of this paper to extend these techniques and to show that this extension leads naturally to several new concepts (e.g. k-torsion freeness and Gorenstein dimension) which are useful in the classification of modules and rings.

The authors develop a degree theory for compact immersed hypersurfaces of prescribed $K$-curvature immersed in a compact, orientable Riemannian manifold, where $K$ is any elliptic curvature function.

Poincare's famous memoir on the three body problem arose from his entry in the competition celebrating the 60th birthday of King Oscar of Sweden and Norway. His essay won the prize and was set up in print as a paper in Acta Mathematica when it was found to contain a deep and critical error. In correcting this error Poincare discovered mathematical chaos, as is now clear from June Barrow-Green's pioneering study of a copy of the original memoir annotated by Poincare himself, recently discovered in the Institut Mittag-Leffler in Stockholm. Poincare and the Three Body Problem opens with a discussion of the development of the three body problem itself and Poincare's related earlier work. The book also contains intriguing insights into the contemporary European mathematical community revealed by the workings of the competition. After an account of the discovery of the error and a detailed comparative study of both the original memoir and its rewritten version, the book concludes with an account of the final memoir's reception, influence and impact, and an examination of Poincare's subsequent highly influential work in celestial mechanics.

We develop a duality theory for small Boolean pretoposes in which the dual of the [italic capital]T is the groupoid of models of a Boolean pretopos [italic capital]T equipped with additional structure derived from ultraproducts. The duality theorem states that any small Boolean pretopos is canonically equivalent to its double dual. We use a strong version of the duality theorem to prove the so-called descent theorem for Boolean pretoposes which says that category of descent data derived from a conservative pretopos morphism between Boolean pretoposes is canonically equivalent to the domain-pretopos. The descent theorem contains the Beth definability theorem for classical first order logic. Moreover, it gives, via the standard translation from the language of categories to symbolic logic, a new definability theorem for classical first order logic concerning set-valued functors on models, expressible in purely syntactical (arithmetical) terms.

This paper presents a systematic study of the relationships between the representation theories of [italic capital]R and [italic capital]A, especially those involving actual or potential quasi-hereditary structures on the latter algebra. Our original motivation comes from the theory of Schur algebras, work of Soergel on the Bernstein-Gelfand-Gelfand category [script capital]O, and resent results of Dlab-Heath-Marko realizing certain endomorphism algebras as quasi-hereditary algebras. We synthesize common features of all these examples, and go beyond them in a number of new directions.

"The book acquaints the reader with the most important works of these six eminent members of the St. Petersburg school. A short biography is given for each of them, followed by an exposition of some of his most significant contributions. Each contribution is presented as a summary of the author's original work and is followed by commentary. Certain works receive relatively complete expositions, while others are dealt with more briefly." "With a Foreword written for the English edition, this volume will appeal to a broad mathematical audience, including mathematical historians and mathematicians working in number theory."--Jacket.