Using the theory of categories as a framework, this book develops a duality theory for theories in first order logic in which the dual of a theory is the category of its models with suitable additional structure. This duality theory resembles and generalizes M. H. Stone's famous duality theory for Boolean algebras. As an application, the author derives a result akin to the well-known definability theorem of E. W. Beth. This new definability theorem is related to theorems of descent in category theory and algebra and can also be stated as a result in pure logic without reference to category...
Using the theory of categories as a framework, this book develops a duality theory for theories in first order logic in which the dual of a theory is ...
This work investigates analytic torsion on the moduli space of degree zero stable bundles on a compact Reimann surface. Zeta-function regularization and perturbation-curvature formulas for torsion are developed using a modified resolvent-Szego kernel. The author discusses the bosonization formulas of mathematical physics. Riemann vanishing theorems for torsion, and analytic properties (insertion-residue formulas and heat equations) for the nonabelian theta function and Szego kernel. In addition, he provides background material on bundle-moduli spaces, Quillen metrics, and theta functions.
This work investigates analytic torsion on the moduli space of degree zero stable bundles on a compact Reimann surface. Zeta-function regularization a...
In 1940, A A Lyapunov published his celebrated discovery that the range of a nonatomic vector-valued measure is convex and compact. This book presents the result of a systematic generalization of Lyapunov's theorem to the setting of operator algebras. The author's point of view follows that of Lindenstrauss, so that, in their terminology, Lyapunov's theorem asserts that if *v is a weak* continuous map of a nonatomic abelian von Neumann algebra *N into Cn, and B denotes the positive part of the unit ball of *N, then for each a *e B there is an extreme point p of B (i.e., a projection) with *v...
In 1940, A A Lyapunov published his celebrated discovery that the range of a nonatomic vector-valued measure is convex and compact. This book presents...
This volume is about tree-like structures, namely semilinear ordering, general betweenness relations, C-relations and D-relations. It contains a systematic study of betweenness and introduces C- and D- relations to describe the behaviour of points at infinity (leaves or ends or directions of trees). The focus is on structure theorems and on automorphism groups, with applications to the theory of infinite permutation groups.
This volume is about tree-like structures, namely semilinear ordering, general betweenness relations, C-relations and D-relations. It contains a syste...
This work provides a detailed exposition of a classical topic. It describes some foundational aspects of Lawson homology for complex projective algebraic varieties, a homology theory defined in terms of homotopy groups of spaces of algebraic cycles. Attention is paid to methods of group completing abelian topological monoids. The authors study properties of Chow varieties, especially in connection with algebraic correspondences relating algebraic varieties. Operations on Lawson homology are introduced and analyzed. These operations lead to a filtration on the singular homology of algebraic...
This work provides a detailed exposition of a classical topic. It describes some foundational aspects of Lawson homology for complex projective algebr...