© 1971

Introduction to Axiomatic Set Theory

  • Authors

Part of the Synthese Library book series (SYLI, volume 34)

Table of contents

  1. Front Matter
    Pages I-VII
  2. Jean-Louis Krivine
    Pages 1-12
  3. Jean-Louis Krivine
    Pages 13-34
  4. Jean-Louis Krivine
    Pages 35-47
  5. Jean-Louis Krivine
    Pages 48-55
  6. Jean-Louis Krivine
    Pages 56-62
  7. Jean-Louis Krivine
    Pages 63-69
  8. Jean-Louis Krivine
    Pages 70-80
  9. Jean-Louis Krivine
    Pages 81-97
  10. Back Matter
    Pages 98-100

About this book


This book presents the classic relative consistency proofs in set theory that are obtained by the device of 'inner models'. Three examples of such models are investigated in Chapters VI, VII, and VIII; the most important of these, the class of constructible sets, leads to G6del's result that the axiom of choice and the continuum hypothesis are consistent with the rest of set theory [1]I. The text thus constitutes an introduction to the results of P. Cohen concerning the independence of these axioms [2], and to many other relative consistency proofs obtained later by Cohen's methods. Chapters I and II introduce the axioms of set theory, and develop such parts of the theory as are indispensable for every relative consistency proof; the method of recursive definition on the ordinals being an import­ ant case in point. Although, more or less deliberately, no proofs have been omitted, the development here will be found to require of the reader a certain facility in naive set theory and in the axiomatic method, such e as should be achieved, for example, in first year graduate work (2 cycle de mathernatiques).


set theory

Bibliographic information

  • Book Title Introduction to Axiomatic Set Theory
  • Authors J.L. Krivine
  • Series Title Synthese Library
  • DOI
  • Copyright Information Springer Science+Business Media B.V. 1971
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-90-277-0169-5
  • Softcover ISBN 978-90-277-0411-5
  • eBook ISBN 978-94-010-3144-8
  • Edition Number 1
  • Number of Pages , 103
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Additional Information Originally published in French
  • Topics Logic
    Mathematical Logic and Foundations
  • Buy this book on publisher's site