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'.
This edition of the industry standard on architectural detailing includes new sections covering analysis and modification of existing details and design of new details, both basic and advanced. Revised to address sustainability and to reflect the International Building Code®, Architectural Detailing continues to deliver reliable, insightful information on how to design details that will be water- and airtight, control the flows of heat and water vapor, adjust to all kinds of movement, age gracefully, be easy to construct, and still look good. Conveniently organized by the three major concerns of the detailer—function, constructibility, and aesthetics—this edition features: Richly illustrated examples of detail design, case studies, and practical exercises. New and revised patterns showing form, constructibility, and aesthetics. Everything you need, whether a student or professional, to design details that work. Order your copy today.
This book is concerned with `the problem of existence in mathematics'. It develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. It explores the philosophical implications of such an approach in an examination of the writings of Field, Burgess, Maddy, Kitcher, and others.
This book presents a systematic and unified report on the minimal description of constructible sets. It starts at a very basic level (almost undergraduate) and leads up to state-of-the-art results, many of which are published in book form for the very first time. The book contains numerous examples, 63 figures and each chapter ends with a section containing historical notes. The authors tried to keep the presentation as self-contained as it can possibly be.