Product Description: Fast, powerful computers are commonplace in today's world. Found in homes, schools, offices, and public libraries, they have changed the way we learn, communicate, and conduct business. Yet, while computers are easier than ever to use, the science and technology behind these marvelous machines remain a mystery to many...read more

Product Description: 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...read more