"11" Result
Sort By:
The core model, K, is a generalization of Gödel's constructible universe of set theory; K is used to produce 'fine structural' results of a less restrictive kind. This book aims to introduce the core model to those with a basic knowledge of axiomatic set theory. The covering lem…
This book aims to introduce the core model to those with a basic knowledge of axiomatic set theory.