ProofWiki:Books/Gaisi Takeuti/Introduction to Axiomatic Set Theory

From ProofWiki
Jump to: navigation, search

Gaisi Takeuti: Introduction to Axiomatic Set Theory

Published 1971, Springer-Verlag.

ISBN 0 387 05302 6


Subject Matter

Contents

Preface
$\S 1$. Introduction
$\S 2$. Language and Logic
$\S 3$. Equality
$\S 4$. Classes
$\S 5$. The Elementary Properties of Classes
$\S 6$. Functions and Relations
$\S 7$. Ordinal Numbers
$\S 8$. Ordinal Arithmetic
$\S 9$. Relational Closure and the Rank Functions
$\S 10$. Cardinal Numbers
$\S 11$. The Axiom of Choice, the Greater Continuum Hypothesis, and Cardinal Arithmetic
$\S 12$. Models
$\S 13$. Absoluteness
$\S 14$. The Fundamental Operations
$\S 15$. The Gödel Model
$\S 16$. The Arithmetization of Model Theory
$\S 17$. Cohen's Model
$\S 18$. Forcing
$\S 19$. Languages, Structures and Models
Bibliography
Problem List
Appendix
Index
Index of Symbols
Personal tools
Variants
Actions
Navigation
ProofWiki.org
ToDo
Toolbox
Google AdSense