Set Theory and the Continuum Problem pdf epub mobi txt 電子書下載2025

簡體網頁||繁體網頁

☆☆☆☆☆

出版者:Dover Publications

作者:Raymond M. Smullyan

出品人:

頁數:336

译者:

出版時間:2010-03-18

價格:USD 15.95

裝幀:Paperback

isbn號碼:9780486474847

叢書系列:

圖書標籤:

集閤論
數理邏輯
Math
數學
語言學
數學
nemlophics
Smullyan
數學
集閤論
連續統假設
邏輯學
基礎數學
公理化係統
無窮
數學基礎
模型論
可計算性

下載連結在頁面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製連結

想要找書就要到小美書屋

book.quotespace.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

具體描述

A lucid, elegant, and complete survey of set theory, this volume is drawn from the authors' substantial teaching experience. The first of three parts focuses on axiomatic set theory. The second part explores the consistency of the continuum hypothesis, and the final section examines forcing and independence results. 1996 edition.

著者簡介

圖書目錄

目錄
Preface to the Revised 2010 Edition
Preface
I Axiomatic Set Theory
1. General Background
2. Some Basics of Class-Set Theory
3. The Natural Numbers
4. Superinduction, Well Ordering and Choice
5. Ordinal Numbers
6. Order Isomorphism and Transfinite Recursion
7. Rank
8. Foundation, Induction and Rank
9. Cardinals
II Consistency of the Continuum Hypothesis
10. Mostowski-Shepherdson Mappings
11. Reflection Principles
12. Constructible Sets
13. L is a Well-Founded First-Order Universe
14. Constructibility is Absolute Over L
15. Constructibility and the Continuum Hypothesis
III Forcing and Independence Results
16. Forcing, the Very Idea
17. The Construction of S 4 Models for ZF
18. The Axiom of Constructibility is Independent
19. Independence in the Continuum Hypothesis
20. Independence of the Axiom of Choice
21. Constructing Classical Models
22. Forcing Backward
Bibliography
Index
List of Notation
· · · · · · (收起)