Constructible Sets with Applications

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.

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): A. Mostowski (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 57
Publisher: Elsevier Science
Year: 1969

Language: English
Pages: iii-vi, 1-269

Content:
Edited by
Page iii

Copyright page
Page v

Preface
Pages v-vi
Andrzej Mostowski

Chapter I Axioms and Auxiliary Notions
Pages 1-21

Chapter II General Principles of Construction
Pages 22-34

Chapter III Constructible Sets
Pages 35-49

Chapter IV Functors and Their Definability
Pages 50-68

Chapter V Constructible Sets as Values of a Functor
Pages 69-84

Chapter VI CПЂ(A)(О±) as a Model
Pages 85-98

Chapter VII Consistency of the Axiom of Choice and of the Continuum Hypothesis
Pages 99-119

Chapter VIII Reduction of Models
Pages 120-126

Chapter IX Generic Points and Forcing; General Theory
Pages 127-140

Chapter X Polynomials
Pages 141-152

Chapter XI Explicit Construction of Polynomials for Functions Bmin, BO, BZ
Pages 153-168

Chapter XII Examples of Models and of Independence Proofs
Pages 169-188

Chapter XIII The Continuum Hypothesis
Pages 189-222

Chapter XIV Independence of the Axiom of Choice
Pages 223-247

Chapter XV Problems of Definability
Pages 248-254

Appendix
Pages 255-257

Bibliography
Pages 258-259

List of Important Symbols
Pages 260-265

Author Index
Page 266

Subject Index
Pages 267-269