Axiomatic set theory is the concern of this book. More particularly, the authors prove results about the coding of models M, of Zermelo-Fraenkel set theory together with the Generalized Continuum Hypothesis by using a class 'forcing' construction. By this method they extend M to another mo...

Full description

Bibliographic Details

Main Author:	Beller, A. (Author)
Format:	Electronic eBook
Language:	English
Published:	Cambridge Cambridge University Press 1982
Series:	London Mathematical Society lecture note series 47
Subjects:	Axiomatic set theory Logic, Symbolic and mathematical Zermelo-Fraenkel-Axiome
Online Access:	BSB01 FHN01 Volltext
Summary:	Axiomatic set theory is the concern of this book. More particularly, the authors prove results about the coding of models M, of Zermelo-Fraenkel set theory together with the Generalized Continuum Hypothesis by using a class 'forcing' construction. By this method they extend M to another model L[a] with the same properties. L[a] is Gödels universe of 'constructible' sets L, together with a set of integers a which code all the cardinality and cofinality structure of M. Some applications are also considered. Graduate students and research workers in set theory and logic will be especially interested by this account
Item Description:	Title from publisher's bibliographic system (viewed on 05 Oct 2015)
Physical Description:	1 online resource (353 pages)
ISBN:	9780511629198
DOI:	10.1017/CBO9780511629198