This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory,. It provides an exposition of some of the most important results in set theory obtained in the 20th century: the independence of the continuum hypothesis and the axiom of choice. Aimed at graduate students and researchers in mathematics, mathematical logic, philosophy, and computer science, the third edition has been extensively updated with expanded introductory material, new chapters, and a new appendix on category theory. It covers recent developments in the field and contains numerous exercises, along with updated and increased coverage of the background material. This new paperback edition includes additional corrections and, for the first time, will make this landmark text accessible to students in logic and set theory.
Rezensionen / Stimmen
Bell's presentation is lively and pleasent to read, and the material is given in a nicely cohesive way. * Philosophia Mathmatica *
Reihe
Auflage
Sprache
Verlagsort
Zielgruppe
Für Beruf und Forschung
Aimed at graduate students and researchers in mathematics, mathematical logic, philosophy, and computer science.
Editions-Typ
Illustrationen
23 black and white illustrations
Maße
Höhe: 234 mm
Breite: 156 mm
Dicke: 12 mm
Gewicht
ISBN-13
978-0-19-960916-1 (9780199609161)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
John L. Bell is a member of the editorial boards of the journals Axiomathes and Philosophia Mathematica. he is Professor of Philosophy at the University of Western Ontario and a Fellow of the Royal Society of Canada.
Autor*in
Professor of Philosophy, University of Western Ontario
FORWARD BY DANA SCOTT; PREFACE; LIST OF PROBLEMS; APPENDIX: BOOLEAN AND HEYTING ALGEBRA-VALUED MODELS AS CATEGORIES; HISTORICAL NOTES; BIBLIOGRAPHY; INDEX OF SYMBOLS; INDEX OF TERMS