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.
Reihe
Sprache
Verlagsort
Produkt-Hinweis
ISBN-13
978-0-08-096319-8 (9780080963198)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
The Basic Classical Notions. κ-Suslin and λ-Borel. Basic Notions of the Effective Theory. Structure Theory for Pointclasses. The Constructible Universe. The Playful Universe. The Recursion Theorem. Metamathematics. References. Index.