Nicht lieferbar
The Axiom of Determinacy, Forcing Axioms and its Nonstationary Ideal. Volume 1
Versandkostenfrei!
Nicht lieferbar
About the series:De Gruyter Series in Logic and Its Applications / An international series of research monographs and textbooks in mathematical logic and related fields. Proceedings of conferences devoted to topics of current research interest may also be included. Written by experts, the volumes in this series cover the major areas of contemporary logic, such as set theory, recursion theory, proof theory, and model theory as well as applications to other fields of mathematics. The publications in this series should be useful both as texts for courses and as guides for lectures and seminars. A...
About the series:
De Gruyter Series in Logic and Its Applications / An international series of research monographs and textbooks in mathematical logic and related fields. Proceedings of conferences devoted to topics of current research interest may also be included. Written by experts, the volumes in this series cover the major areas of contemporary logic, such as set theory, recursion theory, proof theory, and model theory as well as applications to other fields of mathematics. The publications in this series should be useful both as texts for courses and as guides for lectures and seminars. At the same time, the volumes are sufficiently advanced to serve as a solid basis for further research. Editorial Board: Wilfrid A. Hodges - Ronald Jensen - Menachem Magidor
About Volume 1:
This volume presents a detailed account of a new method for obtaining models of Set Theory, using models of Determinacy. The primary application is the identification of a canonical model of Set Theory in which the Continuum Hypothesis is false. Such models have been sought for in the 35 years since Cohen's discovery of the method of forcing.
The new model belongs to a large class of similarly obtained models. The basic machinery for the analysis of these models is developed in some detail through the study of the canonical model and several of the related models. A number of applications in combinatorial set theory are discussed.
This is a research monograph, the results being presented have not been published elsewhere. However the essential background material is also presented, making the account accessible to advanced graduate students in Mathematical Logic and Set Theory.
Zum Autor/Herausgeber: W. Hugh Woodin, Department of Mathematics, University of California, Berkeley, USA.
Target groups: Of interest to: Mathematicians, Advanced Graduate Students, University and Department Libraries
De Gruyter Series in Logic and Its Applications / An international series of research monographs and textbooks in mathematical logic and related fields. Proceedings of conferences devoted to topics of current research interest may also be included. Written by experts, the volumes in this series cover the major areas of contemporary logic, such as set theory, recursion theory, proof theory, and model theory as well as applications to other fields of mathematics. The publications in this series should be useful both as texts for courses and as guides for lectures and seminars. At the same time, the volumes are sufficiently advanced to serve as a solid basis for further research. Editorial Board: Wilfrid A. Hodges - Ronald Jensen - Menachem Magidor
About Volume 1:
This volume presents a detailed account of a new method for obtaining models of Set Theory, using models of Determinacy. The primary application is the identification of a canonical model of Set Theory in which the Continuum Hypothesis is false. Such models have been sought for in the 35 years since Cohen's discovery of the method of forcing.
The new model belongs to a large class of similarly obtained models. The basic machinery for the analysis of these models is developed in some detail through the study of the canonical model and several of the related models. A number of applications in combinatorial set theory are discussed.
This is a research monograph, the results being presented have not been published elsewhere. However the essential background material is also presented, making the account accessible to advanced graduate students in Mathematical Logic and Set Theory.
Zum Autor/Herausgeber: W. Hugh Woodin, Department of Mathematics, University of California, Berkeley, USA.
Target groups: Of interest to: Mathematicians, Advanced Graduate Students, University and Department Libraries