Ebooks

Set Theory Boolean Valued Models and Independence Proofs~tqw~ darksiderg

• 
• 
• Rate this torrent +  |  -

Torrent info

Torrent Files List

Torrent description

*******************************************************************************
Set Theory: Boolean-Valued Models and Independence Proofs
*******************************************************************************

-------------------------------------------------------------------------------
General Information
-------------------------------------------------------------------------------
Type.................: Ebook
Part Size............: 1,380,268 bytes




-------------------------------------------------------------------------------
Post Information
-------------------------------------------------------------------------------
Posted by............: ~tqw~

-------------------------------------------------------------------------------
Release Notes
-------------------------------------------------------------------------------
This monograph is a follow up to the author\'s classic text Boolean-Valued Models
and Independence Proofs in Set Theory, providing 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
research students and academics in mathematics, mathematical logic, philosophy,
and computer science, the text has been extensively updated with expanded
introductory material, new chapters and a new appendix on category theory, and
includes recent developments in the field. Numerous exercises, along with the
enlarged and entirely updated background material, make this an ideal text for
students in logic and set theory.

Table of Contents

Boolean and Heyting algebras : the essentials 1
1 Boolean-values models of set theory : first steps 16
2 Forcing and some independence proofs 55
3 Group actions on V[superscript (B)] and the independence of the axiom of
choice 71
4 Generic ultrafilters and transitive models of ZFC 88
5 Cardinal collapsing, Boolean isomorphism, and applications to the theory
of Boolean algebras 109
6 Iterated Boolean extensions, Martin\'s axiom, and Souslin\'s hypothesis
120
7 Boolean-valued analysis 149
8 Intuitionistic set theory and Heyting-algebra-valued models 158
App Boolean and Heyting algebra-valued models as categories 169

Product Details

* ISBN: 0198568525
* ISBN-13: 9780198568520
* Format: Hardcover, 191pp
* Publisher: Oxford University Press
* Pub. Date: July 2005
* Edition Description: REV
* Edition Number: 3

-------------------------------------------------------------------------------
Install Notes
-------------------------------------------------------------------------------
PDF Reader

related torrents