This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.
In 'Higher Topos Theory', Jacob Lurie presents the foundations of this theory using the language of weak Kan complexes introduced by Boardman and Vogt, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language.
This collection of new and original papers on mathematical aspects of nonlinear dispersive equations includes both expository and technical papers that reflect a number of recent advances in the field. The expository papers describe the state of the art and research directions. The technical papers concentrate on a specific problem and the related analysis and are addressed to active researchers. The book deals with many topics that have been the focus of intensive research and, in several cases, significant progress in recent years, including hyperbolic conservation laws, Schrödinger operators, nonlinear Schrödinger and wave equations, and the Euler and Navier-Stokes equations.
This book discusses some aspects of the theory of partial differential equations from the viewpoint of probability theory. It is intended not only for specialists in partial differential equations or probability theory but also for specialists in asymptotic methods and in functional analysis. It is also of interest to physicists who use functional integrals in their research. The work contains results that have not previously appeared in book form, including research contributions of the author.
Five papers by distinguished American and European mathematicians describe some current trends in mathematics in the perspective of the recent past and in terms of expectations for the future. Among the subjects discussed are algebraic groups, quadratic forms, topological aspects of global analysis, variants of the index theorem, and partial differential equations.