Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Foundations of Mathematics
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 Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal
The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars at the graduate level.
Set Theory of the Continuum
Primarily consisting of talks presented at a workshop at the MSRI during its "Logic Year" 1989-90, this volume is intended to reflect the whole spectrum of activities in set theory. The first section of the book comprises the invited papers surveying the state of the art in a wide range of topics of set-theoretic research. The second section includes research papers on various aspects of set theory and its relation to algebra and topology. Contributors include: J.Bagaria, T. Bartoszynski, H. Becker, P. Dehornoy, Q. Feng, M. Foreman, M. Gitik, L. Harrington, S. Jackson, H. Judah, W. Just, A.S. Kechris, A. Louveau, S. MacLane, M. Magidor, A.R.D. Mathias, G. Melles, W.J. Mitchell, S. Shelah, R.A. Shore, R.I. Soare, L.J. Stanley, B. Velikovic, H. Woodin.
Infinity
"The infinite! No other question has ever moved so profoundly the spirit of man; no other idea has so fruitfully stimulated his intellect; yet no other concept stands in greater need of clarification than that of the infinite." - David Hilbert This interdisciplinary study of infinity explores the concept through the prism of mathematics and then offers more expansive investigations in areas beyond mathematical boundaries to reflect the broader, deeper implications of infinity for human intellectual thought. More than a dozen world‐renowned researchers in the fields of mathematics, physics, cosmology, philosophy, and theology offer a rich intellectual exchange among various current viewpoin...
Sets And Computations
The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 2015. This special collection reports on important and recent interactions between the fields of Set Theory and Computation Theory. This includes the new research areas of computational complexity in set theory, randomness beyond the hyperarithmetic, powerful extensions of Goodstein's theorem and the capturing of large fragments of set theory via elementary-recursive structures.Further chapters are concerned with central topics within Set Theory, including cardinal characteristics, Fraïssé limits, the set-generic multiverse and the study of ideals. Also Computation Theory, which includes computable group theory and measure-theoretic aspects of Hilbert's Tenth Problem. A volume of this broad scope will appeal to a wide spectrum of researchers in mathematical logic.
The Stationary Tower
The stationary tower is an important method in modern set theory, invented by Hugh Woodin in the 1980s. It is a means of constructing generic elementary embeddings and can be applied to produce a variety of useful forcing effects. Hugh Woodin is a leading figure in modern set theory, having made many deep and lasting contributions to the field, in particular to descriptive set theory and large cardinals. This book is the first detailed treatment of his method of the stationary towerthat is generally accessible to graduate students in mathematical logic. By giving complete proofs of all the main theorems and discussing them in context, it is intended that the book will become the standard ref...
The Higher Infinite
Over the years, this book has become a standard reference and guide in the set theory community. It provides a comprehensive account of the theory of large cardinals from its beginnings and some of the direct outgrowths leading to the frontiers of contemporary research, with open questions and speculations throughout.
Set Theory
This research level monograph reflects the current state of the field and provides a reference for graduate students entering the field as well as for established researchers.
Logic Colloquium 2000
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the nineteenth publication in the Lecture Notes in Logic series, collects the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Paris, France in July 2000. This meeting marked the centennial anniversary of Hilbert's famous lecture and was held in the same hall at La Sorbonne where Hilbert presented his problems. Three long articles, based on tutorials given at the meeting, present accessible expositions of developing research in model theory, computability, and set theory. The eleven subsequent papers present work from the research frontier in all areas of mathematical logic.
The Best Writing on Mathematics 2012
An anthology of the year's finest writing on mathematics from around the world, featuring promising new voices as well as some of the foremost names in mathematics.
