With a unique approach and presenting an array of new and intriguing topics, Mathematical Quantization offers a survey of operator algebras and related structures from the point of view that these objects are quantizations of classical mathematical structures. This approach makes possible, with minimal mathematical detail, a unified treatment of a variety of topics.
Detailed here for the first time, the fundamental idea of mathematical quantization is that sets are replaced by Hilbert spaces. Building on this idea, and most importantly on the fact that scalar-valued functions on a set...

The Lipschitz algebras Lp(M), for M a complete metric space, are quite analogous to the spaces C() and L(X), for a compact Hausdorff space and X a -finite measure space. Although the Lipschitz algebras have not been studied as thoroughly as these better-known cousins, it is becoming increasingly clear that they play a fundamental role in functional analysis, and are also useful in many applications, especially in the direction of metric geometry. This book gives a comprehensive treatment of (what is currently known about) the beautiful theory of these algebras.

Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists. In the past decade, a series of remarkable solutions to long-standing problems in C*-algebra using set-theoretic methods, many achieved by the author and his collaborators, have renewed interest in this subject. This is the first book aimed at explaining...

The book is a research monograph on the notions of truth and assertibility as they relate to the foundations of mathematics. It is aimed at a general mathematical and philosophical audience. The central novelty is an axiomatic treatment of the concept of assertibility. This provides us with a device that can be used to handle difficulties that have plagued philosophical logic for over a century. Two examples are Frege's formulation of second order logic and Tarski's characterization of truth predicates for formal languages. Both are widely recognized as fundamental advances, but both are also...