product iamge

Simplified Independence Proofs: Boolean Valued Models of Set Theory

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): J. Barkley Rosser (Eds.)
Series: Pure and Applied Mathematics 31
Publisher: Academic Press, Elsevier
Year: 1969

Pages: 226

Content:
Edited by
Page iii

Copyright page
Page iv

Preface
Pages v-vii
J. Barkley Rosser

Glossary of Symbols
Page xii

Location of Theorems
Pages xiii-xiv

Location of Definitions
Page xv

Chapter One General Remarks
Pages 1-11

Chapter Two Boolean Algebra
Pages 12-33

Chapter Three The Basic Model
Pages 34-88

Chapter Four The Independence of V = L
Pages 89-98

Chapter Five Analogies with Forcing
Pages 99-104

Chapter Six The Independence of AxC
Pages 105-115

Chapter Seven The Independence of the Continuum Hypothesis
Pages 116-126

Chapter Eight The Generalized GCH—The Bounded Case
Pages 127-155

Chapter Nine The Generalized GCH—The Unbounded Case
Pages 156-201

Chapter Ten Resolution of Conceptual Difficulties
Pages 202-213

Bibliography
Page 214

Subject Index
Pages 215-217