Constructibility

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the sixth publication in the Perspecti...

Full description

Main Author: Devlin, Keith J.
Format: eBook
Language:English
Published: Cambridge Cambridge University Press 2016
Series:Perspectives in logic
Subjects:
Online Access:
Collection: Cambridge Books Online - Collection details see MPG.ReNa
LEADER 01672nmm a2200253 u 4500
001 EB001419454
003 EBX01000000000000000911458
005 00000000000000.0
007 cr|||||||||||||||||||||
008 170425 ||| eng
020 |a 9781316717219 
050 4 |a QA248 
100 1 |a Devlin, Keith J. 
245 0 0 |a Constructibility  |c Keith J. Devlin 
260 |a Cambridge  |b Cambridge University Press  |c 2016 
300 |a xi, 425 pages  |b digital 
653 |a Constructibility (Set theory) 
041 0 7 |a eng  |2 ISO 639-2 
989 |b CBO  |a Cambridge Books Online 
490 0 |a Perspectives in logic 
856 |u https://doi.org/10.1017/9781316717219  |x Verlag  |3 Volltext 
082 0 |a 511.322 
520 |a Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the sixth publication in the Perspectives in Logic series, Keith J. Devlin gives a comprehensive account of the theory of constructible sets at an advanced level. The book provides complete coverage of the theory itself, rather than the many and diverse applications of constructibility theory, although applications are used to motivate and illustrate the theory. The book is divided into two parts: Part I (Elementary Theory) deals with the classical definition of the Lα-hierarchy of constructible sets and may be used as the basis of a graduate course on constructibility theory. and Part II (Advanced Theory) deals with the Jα-hierarchy and the Jensen 'fine-structure theory'