| Description |
1 online resource (1 volume) |
| Series |
Cambridge studies in advanced mathematics ; 83 |
|
Cambridge studies in advanced mathematics ; 83.
|
| Contents |
I.A bit of logic: a user's toolbox -- II. The set-theoretic universe, naïvely -- III. The axioms of set theory -- IV. The axiom of choice -- V. The natural numbers ; Transitive closure -- VI. Order -- VII. Cardinality -- VIII. Forcing -- Bibliography -- List of symbols -- Index |
| Summary |
Provides the reader with a solid foundation in set theory, while the inclusion of topics such as absoluteness, relative consistency results, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing, will usher the advanced reader to the doorstep of the research literature |
| Bibliography |
Includes bibliographical references and indexes |
| Notes |
Print version record |
| Subject |
Logic, Symbolic and mathematical.
|
|
Set theory.
|
|
MATHEMATICS -- Infinity.
|
|
MATHEMATICS -- Logic.
|
|
Logic, Symbolic and mathematical
|
|
Set theory
|
| Form |
Electronic book
|
| ISBN |
0511066597 |
|
9780511066597 |
|
9780511068720 |
|
0511068727 |
|
9780511615566 |
|
0511615566 |
|
9780521753746 |
|
0521753740 |
|
9780521168489 |
|
0521168481 |
|
