Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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'.

Constructibility (Set theory) --- Constructible sets --- Sets, Constructible --- Axiomatic set theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Borel sets --- Constructibility (Set theory) --- Descriptive set theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Constructibility (Set theory) --- Constructibilité (théorie des ensembles) --- Logique mathématique --- Constructibilité (théorie des ensembles) --- Logique mathématique

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume is an introduction to inner model theory, an area of set theory which is concerned with fine structural inner models reflecting large cardinal properties of the set theoretic universe. The monograph contains a detailed presentation of general fine structure theory as well as a modern approach to the construction of small core models, namely those models containing at most one strong cardinal, together with some of their applications. The final part of the book is devoted to a new approach encompassing large inner models which admit many Woodin cardinals. The exposition is self-contained and does not assume any special prerequisities, which should make the text comprehensible not only to specialists but also to advanced students in Mathematical Logic and Set Theory.

Constructibility (Set theory) --- Large cardinals (Mathematics) --- Cardinals, Large (Mathematics) --- Large cardinal hypotheses --- Set theory --- Constructible sets --- Sets, Constructible --- Axiomatic set theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Provability, Computability and Reflection

Axiomatic set theory --- Model theory --- Constructibility (Set theory) --- Théorie axiomatique des ensembles --- Théorie des modèles --- Constructibilité (Théorie des ensembles) --- EPUB-LIV-FT ELSEVIER-B --- Axiomatic set theory. --- Constructibility (Set theory). --- Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Model theory. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical --- Constructible sets --- Sets, Constructible --- Axioms