Set Theory Set Theory

Set Theory

Boolean-Valued Models and Independence Proofs

    • $89.99
    • $89.99

Publisher Description

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.

GENRE
Science & Nature
RELEASED
2011
5 May
LANGUAGE
EN
English
LENGTH
216
Pages
PUBLISHER
OUP Oxford
SELLER
The Chancellor, Masters and Scholars of the University of Oxford trading as Oxford University Press
SIZE
44
MB
Logic and Algebra Logic and Algebra
2017
Mathematical Logic and Theoretical Computer Science Mathematical Logic and Theoretical Computer Science
2020
Residuated Lattices: An Algebraic Glimpse at Substructural Logics Residuated Lattices: An Algebraic Glimpse at Substructural Logics
2007
Computational Algebra Computational Algebra
2018
Proof Theory Proof Theory
2013
Realizability Realizability
2008