You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This volume contains the proceedings of the Logic at Harvard conference in honor of W. Hugh Woodin's 60th birthday, held March 27–29, 2015, at Harvard University. It presents a collection of papers related to the work of Woodin, who has been one of the leading figures in set theory since the early 1980s. The topics cover many of the areas central to Woodin's work, including large cardinals, determinacy, descriptive set theory and the continuum problem, as well as connections between set theory and Banach spaces, recursion theory, and philosophy, each reflecting a period of Woodin's career. Other topics covered are forcing axioms, inner model theory, the partition calculus, and the theory of ultrafilters. This volume should make a suitable introduction to Woodin's work and the concerns which motivate it. The papers should be of interest to graduate students and researchers in both mathematics and philosophy of mathematics, particularly in set theory, foundations and related areas.
The author develops the theory of Hod mice below ADR+ "Θ is regular". He uses this theory to show that HOD of the minimal model of ADR+ "Θ is regular" satisfies GCH. Moreover, he shows that the Mouse Set Conjecture is true in the minimal model of ADR+ "Θ is regular".
This volume contains the proceedings of Simon Fest, held in honor of Simon Thomas's 60th birthday, from September 15–17, 2017, at Rutgers University, Piscataway, New Jersey. The topics covered showcase recent advances from a variety of main areas of set theory, including descriptive set theory, forcing, and inner model theory, in addition to several applications of set theory, including ergodic theory, combinatorics, and model theory.
The third in a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Seminar'.
Click here to view the abstract. IntroductionProof of Theorem 1.1 in the caseProof of Theorem 1.1 in the caseAppendixBibliography
Degenerate parabolic operators have received increasing attention in recent years because they are associated with both important theoretical analysis, such as stochastic diffusion processes, and interesting applications to engineering, physics, biology, and economics. This manuscript has been conceived to introduce the reader to global Carleman estimates for a class of parabolic operators which may degenerate at the boundary of the space domain, in the normal direction to the boundary. Such a kind of degeneracy is relevant to study the invariance of a domain with respect to a given stochastic diffusion flow, and appears naturally in climatology models.
This book is a collection of articles on Abelian varieties and number theory dedicated to Gerhard Frey's 75th birthday. It contains original articles by experts in the area of arithmetic and algebraic geometry. The articles cover topics on Abelian varieties and finitely generated Galois groups, ranks of Abelian varieties and Mordell-Lang conjecture, Tate-Shafarevich group and isogeny volcanoes, endomorphisms of superelliptic Jacobians, obstructions to local-global principles over semi-global fields, Drinfeld modular varieties, representations of etale fundamental groups and specialization of algebraic cycles, Deuring's theory of constant reductions, etc. The book will be a valuable resource to graduate students and experts working on Abelian varieties and related areas.
Numbers imitate space, which is of such a di?erent nature —Blaise Pascal It is fair to date the study of the foundation of mathematics back to the ancient Greeks. The urge to understand and systematize the mathematics of the time led Euclid to postulate axioms in an early attempt to put geometry on a ?rm footing. With roots in the Elements, the distinctive methodology of mathematics has become proof. Inevitably two questions arise: What are proofs? and What assumptions are proofs based on? The ?rst question, traditionally an internal question of the ?eld of logic, was also wrestled with in antiquity. Aristotle gave his famous syllogistic s- tems, and the Stoics had a nascent propositional ...
The final volume in a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Seminar'.
This volume contains the proceedings of the Workshop and 18th International Conference on Representations of Algebras (ICRA 2018) held from August 8–17, 2018, in Prague, Czech Republic. It presents several themes of contemporary representation theory together with some new tools, such as stable ∞ ∞-categories, stable derivators, and contramodules. In the first part, expanded lecture notes of four courses delivered at the workshop are presented, covering the representation theory of finite sets with correspondences, geometric theory of quiver Grassmannians, recent applications of contramodules to tilting theory, as well as symmetries in the representation theory over an abstract stable homotopy theory. The second part consists of six more-advanced papers based on plenary talks of the conference, presenting selected topics from contemporary representation theory: recollements and purity, maximal green sequences, cohomological Hall algebras, Hochschild cohomology of associative algebras, cohomology of local selfinjective algebras, and the higher Auslander–Reiten theory studied via homotopy theory.