To make this work accessible to logicians as well as set theorists and analysts, classical and modern theory of sets of uniqueness are covered as well as the relevant parts of descriptive set theory.

Descriptive set theory has been one of the main areas of research in set theory for almost a century. This text presents a largely balanced approach to the subject, which combines many elements of the different traditions. It includes a wide variety of examples, more than 400 exercises, and applications, in order to illustrate the general concepts and results of the theory.

In recent years there has been a growing interest in the interactions between descriptive set theory and various aspects of the theory of dynamical systems, including ergodic theory and topological dynamics. This volume, first published in 2000, contains a collection of survey papers by leading researchers covering a wide variety of recent developments in these subjects and their interconnections. This book provides researchers and graduate students interested in either of these areas with a guide to work done in the other, as well as with an introduction to problems and research directions arising from their interconnections.

In this book the authors present their research into the foundations of the theory of Polish groups and the associated orbit equivalence relations. The particular case of locally compact groups has long been studied in many areas of mathematics. Non-locally compact Polish groups occur naturally as groups of symmetries in such areas as logic (especially model theory), ergodic theory, group representations, and operator algebras. Some of the topics covered here are: topological realizations of Borel measurable actions; universal actions; applications to invariant measures; actions of the infinite symmetric group in connection with model theory (logic actions); dichotomies for orbit spaces (including Silver, Glimm-Effros type dichotomies and the topological Vaught conjecture); descriptive complexity of orbit equivalence relations; definable cardinality of orbit spaces.

A gem of a book bringing together 30 years worth of results that are certain to interest anyone whose research touches on quadratic forms.

The first book to provide a systematic account of recent developments and applications in harmonic approximation, progresses from classical results concerning uniform approximation on compact sets through fusion techniques to deal with approximation on unbounded sets.

Consists of papers given at the ICMS meeting held in 1994 on this topic, and brings together some of the world's best known authorities on stochastic partial differential equations.

The fifteenth British Combinatorial Conference took place in July 1995 at the University of Stirling. This volume consists of the papers presented by the invited lecturers at the meeting, and provides an up-to-date survey of current research activity in several areas of combinatorics and its applications. These include distance-regular graphs, combinatorial designs, coding theory, spectra of graphs, and randomness and computation. The articles give an overview of combinatorics that will be extremely useful to both mathematicians and computer scientists.

The interaction between ergodic theory and discrete groups has a long history and much work was done in this area by Hedlund, Hopf and Myrberg in the 1930s. There has been a great resurgence of interest in the field, due in large measure to the pioneering work of Dennis Sullivan. Tools have been developed and applied with outstanding success to many deep problems. The ergodic theory of discrete groups has become a substantial field of mathematical research in its own right, and it is the aim of this book to provide a rigorous introduction from first principles to some of the major aspects of the theory. The particular focus of the book is on the remarkable measure supported on the limit set of a discrete group that was first developed by S. J. Patterson for Fuchsian groups, and later extended and refined by Sullivan.

This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.