Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorKrivine, Jean-Louis. author
TitleIntroduction to Axiomatic Set Theory [electronic resource] / by Jean-Louis Krivine
ImprintDordrecht : Springer Netherlands, 1971
Connect to
Descript 103 p. online resource


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)


I: The Zermelo/Fraenkel Axioms of Set Theory -- II: Ordinals, Cardinals -- III: The Axiom of Foundation -- IV: The Reflection Principle -- V: The Set of Expressions -- VI: Ordinal Definable Sets. Relative Consistency of the Axiom of Choice -- VII: Fraenkel/Mostowski Models. Relative Consistency of the Negation of the Axiom of Choice (without the Axiom of Foundation) -- VIII: Constructible Sets. Relative Consistency of the Generalized Continuum Hypothesis

Philosophy Logic Mathematical logic Philosophy Logic Mathematical Logic and Foundations


Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network


facebook   instragram