You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Descriptive set theory and definable proper forcing are two areas of set theory that developed quite independently of each other. This monograph unites them and explores the connections between them. Forcing is presented in terms of quotient algebras of various natural sigma-ideals on Polish spaces, and forcing properties in terms of Fubini-style properties or in terms of determined infinite games on Boolean algebras. Many examples of forcing notions appear, some newly isolated from measure theory, dynamical systems, and other fields. The descriptive set theoretic analysis of operations on forcings opens the door to applications of the theory: absoluteness theorems for certain classical forcing extensions, duality theorems, and preservation theorems for the countable support iteration. Containing original research, this text highlights the connections that forcing makes with other areas of mathematics, and is essential reading for academic researchers and graduate students in set theory, abstract analysis and measure theory.
This volume comprises articles from four outstanding researchers who work at the cusp of analysis and logic. The emphasis is on active research topics; many results are presented that have not been published before and open problems are formulated. Considerable effort has been made by the authors to integrate their articles and make them accessible to mathematicians new to the area.
This book contains a proof that a dominant morphism from a 3-fold $X$ to a variety $Y$ can be made toroidal by blowing up in the target and domain. We give applications to factorization of birational morphisms of 3-folds.
The principal aim of this book is to introduce to the widest possible audience an original view of belief calculus and uncertainty theory. In this geometric approach to uncertainty, uncertainty measures can be seen as points of a suitably complex geometric space, and manipulated in that space, for example, combined or conditioned. In the chapters in Part I, Theories of Uncertainty, the author offers an extensive recapitulation of the state of the art in the mathematics of uncertainty. This part of the book contains the most comprehensive summary to date of the whole of belief theory, with Chap. 4 outlining for the first time, and in a logical order, all the steps of the reasoning chain assoc...
A classical model of Brownian motion consists of a heavy molecule submerged into a gas of light atoms in a closed container. In this work the authors study a 2D version of this model, where the molecule is a heavy disk of mass $M \gg 1$ and the gas is represented by just one point particle of mass $m=1$, which interacts with the disk and the walls of the container via elastic collisions. Chaotic behavior of the particles is ensured by convex (scattering) walls of the container. The authors prove that the position and velocity of the disk, in an appropriate time scale, converge, as $M\to\infty$, to a Brownian motion (possibly, inhomogeneous); the scaling regime and the structure of the limit process depend on the initial conditions. The proofs are based on strong hyperbolicity of the underlying dynamics, fast decay of correlations in systems with elastic collisions (billiards), and methods of averaging theory.
KAM theory is a powerful tool apt to prove perpetual stability in Hamiltonian systems, which are a perturbation of integrable ones. The smallness requirements for its applicability are well known to be extremely stringent. A long standing problem, in this context, is the application of KAM theory to ``physical systems'' for ``observable'' values of the perturbation parameters. The authors consider the Restricted, Circular, Planar, Three-Body Problem (RCP3BP), i.e., the problem of studying the planar motions of a small body subject to the gravitational attraction of two primary bodies revolving on circular Keplerian orbits (which are assumed not to be influenced by the small body). When the m...
The aim of this work is to lay the foundations of differential geometry and Lie theory over the general class of topological base fields and -rings for which a differential calculus has been developed, without any restriction on the dimension or on the characteristic. Two basic features distinguish the author's approach from the classical real (finite or infinite dimensional) theory, namely the interpretation of tangent- and jet functors as functors of scalar extensions and the introduction of multilinear bundles and multilinear connections which generalize the concept of vector bundles and linear connections.
The purpose of this paper is to establish the spinor genus theory of quadratic forms over global function fields in characteristic 2. The first part of the paper computes the integral spinor norms and relative spinor norms. The second part of the paper gives a complete answer to the integral representations of one quadratic form by another with more than four variables over a global function field in characteristic 2.
"January 2009, volume 197, number 923 (end of volume)."