Descriptive set theory
著者
書誌事項
Descriptive set theory
(Studies in logic and the foundations of mathematics, v. 100)
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier-North Holland, 1980
- : ne
- : us
大学図書館所蔵 件 / 全61件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 613-622
Includes indexes
内容説明・目次
内容説明
Now available in paperback, this monograph is a self-contained exposition of the main results and methods of descriptive set theory. It develops all the necessary background material from logic and recursion theory, and treats both classical descriptive set theory and the effective theory developed by logicians.
目次
The Basic Classical Notions. kappa-Suslin and lambda-Borel. Basic Notions of the Effective Theory. Structure Theory for Pointclasses. The Constructible Universe. The Playful Universe. The Recursion Theorem. Metamathematics. References. Index.
「Nielsen BookData」 より