Shape theory is an extension of homotopy theory from the realm of CW-complexes to arbitrary spaces. Besides applications in topology, it has interesting applications in various other areas of mathematics, especially in dynamical systems and C*-algebras. Strong shape is a refinement of ordinary shape with distinct advantages over the latter. Strong homology generalizes Steenrod homology and is an invariant of strong shape. The book gives a detailed account based on approximation of spaces by polyhedra (ANR's) using the technique of inverse systems. It is intended for researchers and graduate students. Special care is devoted to motivation and bibliographic notes.

This book is about an investigation of recent developments in the field of sympletic and contact structures on four- and three-dimensional manifolds from a topologist 's point of view. In it, two main issues are addressed: what kind of sympletic and contact structures we can construct via surgery theory and what kind of sympletic and contact structures are not allowed via gauge theory and the newly invented Heegaard-Floer theory.

Topology as a subject, in our opinion, plays a central role in university education. It is not really possible to design courses in differential geometry, mathematical analysis, differential equations, mechanics, functional analysis that correspond to the temporary state of these disciplines without involving topological concepts. Therefore, it is essential to acquaint students with topo logical research methods already in the first university courses. This textbook is one possible version of an introductory course in topo logy and elements of differential geometry, and it absolutely reflects both the authors' personal preferences and experience as lecturers and researchers. It deals with those areas of topology and geometry that are most closely related to fundamental courses in general mathematics. The educational material leaves a lecturer a free choice in designing his own course or his own seminar. We draw attention to a number of particularities in our book. The first chap ter, according to the authors' intention, should acquaint readers with topolo gical problems and concepts which arise from problems in geometry, analysis, and physics. Here, general topology (Ch. 2) is presented by introducing con structions, for example, related to the concept of quotient spaces, much earlier than various other notions of general topology thus making it possible for students to study important examples of manifolds (two-dimensional surfaces, projective spaces, orbit spaces, etc.) as topological spaces, immediately."

This book is devoted to some results from the classical Point Set Theory and their applications to certain problems in mathematical analysis of the real line. Notice that various topics from this theory are presented in several books and surveys. From among the most important works devoted to Point Set Theory, let us first of all mention the excellent book by Oxtoby [83] in which a deep analogy between measure and category is discussed in detail. Further, an interesting general approach to problems concerning measure and category is developed in the well-known monograph by Morgan [79] where a fundamental concept of a category base is introduced and investigated. We also wish to mention that the monograph by Cichon, W";glorz and the author [19] has recently been published. In that book, certain classes of subsets of the real line are studied and various cardinal valued functions (characteristics) closely connected with those classes are investigated. Obviously, the IT-ideal of all Lebesgue measure zero subsets of the real line and the IT-ideal of all first category subsets of the same line are extensively studied in [19], and several relatively new results concerning this topic are presented. Finally, it is reasonable to notice here that some special sets of points, the so-called singular spaces, are considered in the classi

In the summer of 1991 the Department of Mathematics and Statistics of the Universite de Montreal was fortunate to host the NATO Advanced Study Institute "Algebras and Orders" as its 30th Seminaire de mathematiques superieures (SMS), a summer school with a long tradition and well-established reputation. This book contains the contributions of the invited speakers. Universal algebra- which established itself only in the 1930's- grew from traditional algebra (e.g., groups, modules, rings and lattices) and logic (e.g., propositional calculus, model theory and the theory of relations). It started by extending results from these fields but by now it is a well-established and dynamic discipline in its own right. One of the objectives of the ASI was to cover a broad spectrum of topics in this field, and to put in evidence the natural links to, and interactions with, boolean algebra, lattice theory, topology, graphs, relations, automata, theoretical computer science and (partial) orders. The theory of orders is a relatively young and vigorous discipline sharing certain topics as well as many researchers and meetings with universal algebra and lattice theory. W. Taylor surveyed the abstract clone theory which formalizes the process of compos ing operations (i.e., the formation of term operations) of an algebra as a special category with countably many objects, and leading naturally to the interpretation and equivalence of varieties."

This book examines an abstract mathematical theory, placing special emphasis on results applicable to formal logic. If a theory is especially abstract, it may find a natural home within several of the more familiar branches of mathematics. This is the case with the theory of closure spaces. It might be considered part of topology, lattice theory, universal algebra or, no doubt, one of several other branches of mathematics as well. In our development we have treated it, conceptually and methodologically, as part of topology, partly because we first thought ofthe basic structure involved (closure space), as a generalization of Frechet's concept V-space. V-spaces have been used in some developments of general topology as a generalization of topological space. Indeed, when in the early '50s, one of us started thinking about closure spaces, we thought ofit as the generalization of Frechet V space which comes from not requiring the null set to be CLOSURE SPACES ANDLOGIC XlI closed(as it is in V-spaces). This generalization has an extreme advantage in connection with application to logic, since the most important closure notion in logic, deductive closure, in most cases does not generate a V-space, since the closure of the null set typically consists of the "logical truths" of the logic being examined."

General equilibrium In this book we try to cope with the challenging task of reviewing the so called general equilibrium model and of discussing one specific aspect of the approach underlying it, namely, market completeness. With the denomination "general equilibrium" (from now on in short GE) we shall mainly refer to two different things. On one hand, in particular when using the expression "GE approach", we shall refer to a long established methodolog ical tradition in building and developing economic models, which includes, as of today, an enormous amount of contributions, ranging in number by several 1 thousands * On the other hand, in particular when using the expression "stan dard differentiable GE model", we refer to a very specific version of economic model of exchange and production, to be presented in Chapters 8 and 9, and to be modified in Chapters 10 to 15. Such a version is certainly formulated within the GE approach, but it is generated by making several quite restrictive 2 assumptions * Even to list and review very shortly all the collective work which can be ascribed to the GE approach would be a formidable task for several coauthors in a lifetime perspective. The book instead intends to address just a single issue. Before providing an illustration of its main topic, we feel the obligation to say a word on the controversial character of GE. First of all, we should say that we identify the GE approach as being based 3 on three principles .

In 1961 Smale established the generalized Poincare Conjecture in dimensions greater than or equal to 5 [129] and proceeded to prove the h-cobordism theorem [130]. This result inaugurated a major effort to classify all possible smooth and topological structures on manifolds of dimension at least 5. By the mid 1970's the main outlines of this theory were complete, and explicit answers (especially concerning simply connected manifolds) as well as general qualitative results had been obtained. As an example of such a qualitative result, a closed, simply connected manifold of dimension 2: 5 is determined up to finitely many diffeomorphism possibilities by its homotopy type and its Pontrjagin classes. There are similar results for self-diffeomorphisms, which, at least in the simply connected case, say that the group of self-diffeomorphisms of a closed manifold M of dimension at least 5 is commensurate with an arithmetic subgroup of the linear algebraic group of all automorphisms of its so-called rational minimal model which preserve the Pontrjagin classes [131]. Once the high dimensional theory was in good shape, attention shifted to the remaining, and seemingly exceptional, dimensions 3 and 4. The theory behind the results for manifolds of dimension at least 5 does not carryover to manifolds of these low dimensions, essentially because there is no longer enough room to maneuver. Thus new ideas are necessary to study manifolds of these "low" dimensions.

In recent years, the fixed point theory of Lipschitzian-type mappings has rapidly grown into an important field of study in both pure and applied mathematics. It has become one of the most essential tools in nonlinear functional analysis. This self-contained book provides the first systematic presentation of Lipschitzian-type mappings in metric and Banach spaces. The first chapter covers some basic properties of metric and Banach spaces. Geometric considerations of underlying spaces play a prominent role in developing and understanding the theory. The next two chapters provide background in terms of convexity, smoothness and geometric coefficients of Banach spaces including duality mappings and metric projection mappings. This is followed by results on existence of fixed points, approximation of fixed points by iterative methods and strong convergence theorems. The final chapter explores several applicable problems arising in related fields. This book can be used as a textbook and as a reference for graduate students, researchers and applied mathematicians working in nonlinear functional analysis, operator theory, approximations by iteration theory, convexity and related geometric topics, and best approximation theory.

A description of the global properties of simply-connected spaces that are non-positively curved in the sense of A. D. Alexandrov, and the structure of groups which act on such spaces by isometries. The theory of these objects is developed in a manner accessible to anyone familiar with the rudiments of topology and group theory: non-trivial theorems are proved by concatenating elementary geometric arguments, and many examples are given. Part I provides an introduction to the geometry of geodesic spaces, while Part II develops the basic theory of spaces with upper curvature bounds. More specialized topics, such as complexes of groups, are covered in Part III.

Preface to the English Edition The present monograph is a revised and enlarged alternative of the author's monograph 19] which was devoted to the development of a unified approach to studying differential inclusions, whose values of the right hand sides are compact, not necessarily convex subsets of a Banach space. This approach relies on ideas and methods of modem functional analysis, general topology, the theory of multi-valued mappings and continuous selectors. Although the basic content of the previous monograph has been remained the same this monograph has been partly re-organized and the author's recent results have been added. The contents of the present book are divided into five Chapters and an Appendix. The first Chapter of the J>ook has been left without changes and deals with multi-valued differential equations generated by a differential inclusion. The second Chapter has been significantly revised and extended. Here the au thor's recent results concerning extreme continuous selectors of multi-functions with decomposable values, multi-valued selectors ofmulti-functions generated by a differential inclusion, the existence of solutions of a differential inclusion, whose right hand side has different properties of semicontinuity at different points, have been included. Some of these results made it possible to simplify schemes for proofs concerning the existence of solutions of differential inclu sions with semicontinuous right hand side a.nd to obtain new results. In this Chapter the existence of solutions of different types are considered."

This book is dedicated to the theory of continuous selections of multi valued mappings, a classical area of mathematics (as far as the formulation of its fundamental problems and methods of solutions are concerned) as well as 'J-n area which has been intensively developing in recent decades and has found various applications in general topology, theory of absolute retracts and infinite-dimensional manifolds, geometric topology, fixed-point theory, functional and convex analysis, game theory, mathematical economics, and other branches of modern mathematics. The fundamental results in this the ory were laid down in the mid 1950's by E. Michael. The book consists of (relatively independent) three parts - Part A: Theory, Part B: Results, and Part C: Applications. (We shall refer to these parts simply by their names). The target audience for the first part are students of mathematics (in their senior year or in their first year of graduate school) who wish to get familiar with the foundations of this theory. The goal of the second part is to give a comprehensive survey of the existing results on continuous selections of multivalued mappings. It is intended for specialists in this area as well as for those who have mastered the material of the first part of the book. In the third part we present important examples of applications of continuous selections. We have chosen examples which are sufficiently interesting and have played in some sense key role in the corresponding areas of mathematics."

Helmut Koch's classic is now available in English. Competently translated by Franz Lemmermeyer, it introduces the theory of pro-p groups and their cohomology. The book contains a postscript on the recent development of the field written by H. Koch and F. Lemmermeyer, along with many additional recent references.

Group cohomology has a rich history that goes back a century or more. Its origins are rooted in investigations of group theory and num ber theory, and it grew into an integral component of algebraic topology. In the last thirty years, group cohomology has developed a powerful con nection with finite group representations. Unlike the early applications which were primarily concerned with cohomology in low degrees, the in teractions with representation theory involve cohomology rings and the geometry of spectra over these rings. It is this connection to represen tation theory that we take as our primary motivation for this book. The book consists of two separate pieces. Chronologically, the first part was the computer calculations of the mod-2 cohomology rings of the groups whose orders divide 64. The ideas and the programs for the calculations were developed over the last 10 years. Several new features were added over the course of that time. We had originally planned to include only a brief introduction to the calculations. However, we were persuaded to produce a more substantial text that would include in greater detail the concepts that are the subject of the calculations and are the source of some of the motivating conjectures for the com putations. We have gathered together many of the results and ideas that are the focus of the calculations from throughout the mathematical literature."

While in classical (abelian) homological algebra additive functors from abelian (or additive) categories to abelian categories are investigated , non- abelian homological algebra deals with non-additive functors and their homological properties , in particular with functors having values in non-abelian categories. Such functors haveimportant applications in algebra, algebraic topology, functional analysis, algebraic geometry and other principal areas of mathematics. To study homological properties of non-additive functors it is necessary to define and investigate their derived functors and satellites. It will be the aim of this book based on the results of researchers of A. Razmadze Mathematical Institute of the Georgian Academy of Sciences devoted to non-abelian homological algebra. The most important considered cases will be functors from arbitrary categories to the category of modules, group valued functors and commutative semigroup valued functors. In Chapter I universal sequences of functors are defined and in- vestigated with respect to (co)presheaves of categories, extending in a natural way the satellites of additive functors to the non-additive case and generalizing the classical relative homological algebra in additive categories to arbitrary categories. Applications are given in the furth- coming chapters. Chapter II is devoted to the non-abelian derived functors of group valued functors with respect to projective classes using projective pseu- dosimplicial resolutions. Their functorial properties (exactness, Milnor exact sequence, relationship with cotriple derived functors, satellites and Grothendieck cohomology, spectral sequence of an epimorphism, degree of an arbitrary functor) are established and applications to ho- mology and cohomology of groups are given.

Fixed point theory in probabilistic metric spaces can be considered as a part of Probabilistic Analysis, which is a very dynamic area of mathematical research. A primary aim of this monograph is to stimulate interest among scientists and students in this fascinating field. The text is self-contained for a reader with a modest knowledge of the metric fixed point theory. Several themes run through this book. The first is the theory of triangular norms (t-norms), which is closely related to fixed point theory in probabilistic metric spaces. Its recent development has had a strong influence upon the fixed point theory in probabilistic metric spaces. In Chapter 1 some basic properties of t-norms are presented and several special classes of t-norms are investigated. Chapter 2 is an overview of some basic definitions and examples from the theory of probabilistic metric spaces. Chapters 3, 4, and 5 deal with some single-valued and multi-valued probabilistic versions of the Banach contraction principle. In Chapter 6, some basic results in locally convex topological vector spaces are used and applied to fixed point theory in vector spaces. Audience: The book will be of value to graduate students, researchers, and applied mathematicians working in nonlinear analysis and probabilistic metric spaces.

This book is written in a pedagogical style intelligible for graduate students. It reviews recent progress in black-hole and wormhole theory and in mathematical cosmology within the framework of Einstein's field equations and beyond, including quantum effects. This collection of essays, written by leading scientists of long standing reputation, should become an indispensable source for future research.

1. 1 Preface Many phenomena from physics, biology, chemistry and economics are modeled by di?erential equations with parameters. When a nonlinear equation is est- lished, its behavior/dynamics should be understood. In general, it is impossible to ?nd a complete dynamics of a nonlinear di?erential equation. Hence at least, either periodic or irregular/chaotic solutions are tried to be shown. So a pr- erty of a desired solution of a nonlinear equation is given as a parameterized boundary value problem. Consequently, the task is transformed to a solvability of an abstract nonlinear equation with parameters on a certain functional space. When a family of solutions of the abstract equation is known for some para- ters, the persistence or bifurcations of solutions from that family is studied as parameters are changing. There are several approaches to handle such nonl- ear bifurcation problems. One of them is a topological degree method, which is rather powerful in cases when nonlinearities are not enough smooth. The aim of this book is to present several original bifurcation results achieved by the author using the topological degree theory. The scope of the results is rather broad from showing periodic and chaotic behavior of non-smooth mechanical systems through the existence of traveling waves for ordinary di?erential eq- tions on in?nite lattices up to study periodic oscillations of undamped abstract waveequationsonHilbertspaceswithapplicationstononlinearbeamandstring partial di?erential equations. 1.

Tensor Analysis and Nonlinear Tensor Functions embraces the basic fields of tensor calculus: tensor algebra, tensor analysis, tensor description of curves and surfaces, tensor integral calculus, the basis of tensor calculus in Riemannian spaces and affinely connected spaces, - which are used in mechanics and electrodynamics of continua, crystallophysics, quantum chemistry etc.

The book suggests a new approach to definition of a tensor in space R3, which allows us to show a geometric representation of a tensor and operations on tensors. Based on this approach, the author gives a mathematically rigorous definition of a tensor as an individual object in arbitrary linear, Riemannian and other spaces for the first time.

It is the first book to present a systematized theory of tensor invariants, a theory of nonlinear anisotropic tensor functions and a theory of indifferent tensors describing the physical properties of continua.

The book will be useful for students and postgraduates of mathematical, mechanical engineering and physical departments of universities and also for investigators and academic scientists working in continuum mechanics, solid physics, general relativity, crystallophysics, quantum chemistry of solids and material science.

Following Quillen's approach to complex cobordism, the authors introduce the notion of oriented cohomology theory on the category of smooth varieties over a fixed field. They prove the existence of a universal such theory (in characteristic 0) called Algebraic Cobordism. The book also contains some examples of computations and applications.

From the reviews: "This is a very interesting book containing material for a comprehensive study of the cyclid homological theory of algebras, cyclic sets and S1-spaces. Lie algebras and algebraic K-theory and an introduction to Connes'work and recent results on the Novikov conjecture. The book requires a knowledge of homological algebra and Lie algebra theory as well as basic technics coming from algebraic topology. The bibliographic comments at the end of each chapter offer good suggestions for further reading and research. The book can be strongly recommended to anybody interested in noncommutative geometry, contemporary algebraic topology and related topics." European Mathematical Society Newsletter

In this second edition the authors have added a chapter 13 on MacLane (co)homology.

During the past 25 years, set theory has developed in several interesting directions. The most outstanding results cover the application of sophisticated techniques to problems in analysis, topology, infinitary combinatorics and other areas of mathematics. This book contains a selection of contributions, some of which are expository in nature, embracing various aspects of the latest developments. Amongst topics treated are forcing axioms and their applications, combinatorial principles used to construct models, and a variety of other set theoretical tools including inner models, partitions and trees. Audience: This book will be of interest to graduate students and researchers in foundational problems of mathematics.

Based on a course given to talented high-school students at Ohio University in 1988, this book is essentially an advanced undergraduate textbook about the mathematics of fractal geometry. It nicely bridges the gap between traditional books on topology/analysis and more specialized treatises on fractal geometry. The book treats such topics as metric spaces, measure theory, dimension theory, and even some algebraic topology. It takes into account developments in the subject matter since 1990. Sections are clear and focused. The book contains plenty of examples, exercises, and good illustrations of fractals, including 16 color plates.

This book is based on lectures I have given to undergraduate and graduate audiences at Oxford and elsewhere over the years. My aim has been to provide an outline of both the topological theory and the uniform theory, with an emphasis on the relation between the two. Although I hope that the prospec tive specialist may find it useful as an introduction it is the non-specialist I have had more in mind in selecting the contents. Thus I have tended to avoid the ingenious examples and counterexamples which often occupy much ofthe space in books on general topology, and I have tried to keep the number of definitions down to the essential minimum. There are no particular pre requisites but I have worked on the assumption that a potential reader will already have had some experience of working with sets and functions and will also be familiar with the basic concepts of algebra and analysis. There are a number of fine books on general topology, some of which I have listed in the Select Bibliography at the end of this volume. Of course I have benefited greatly from this previous work in writing my own account. Undoubtedly the strongest influence is that of Bourbaki's Topologie Generale 2], the definitive treatment of the subject which first appeared over a genera tion ago."

In algebraic topology some classical invariants - such as Betti numbers and Reidemeister torsion - are defined for compact spaces and finite group actions. They can be generalized using von Neumann algebras and their traces, and applied also to non-compact spaces and infinite groups. These new L2-invariants contain very interesting and novel information and can be applied to problems arising in topology, K-Theory, differential geometry, non-commutative geometry and spectral theory. The book, written in an accessible manner, presents a comprehensive introduction to this area of research, as well as its most recent results and developments.