Description
This book is about set theory and the structure of the real line. It is written by two professors and is aimed at being a reference tool. The book has three parts: results that can be proven in Zermelo-Fraenkel Set Theory (and its extensions), independence results, and the "tools" used to accomplish both the aforementioned.
The major focus of this book is measurement and categorization in set theory, most notably on results dealing with asymmetry. The authors delve into the study of a deep symmetry between the concept of Lebesque measurability and the Baire property, and obtain findings on the structure of the real line. The book consists of three interwoven parts: results that can be proven in Zermelo-Fraenkel Set Theory (and its extensions); independence results; and the "tools" used to accomplish both the aforementioned. With its attention to basic concepts and a broad range of recent findings, this book aims to be of use as a reference tool.