TY - BOOK ID - 209913 TI - Notes on Set Theory PY - 2006 SN - 0387316094 PB - New York, NY : Springer New York : Imprint: Springer, DB - UniCat KW - Set theory KW - Aggregates KW - Classes (Mathematics) KW - Ensembles (Mathematics) KW - Mathematical sets KW - Sets (Mathematics) KW - Theory of sets KW - Logic, Symbolic and mathematical KW - Mathematics KW - Logic, Symbolic and mathematical. KW - Computer science. KW - Mathematical Logic and Foundations. KW - Mathematical Logic and Formal Languages. KW - Informatics KW - Science KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Algebra, Abstract KW - Metamathematics KW - Syllogism KW - Mathematical logic. UR - https://www.unicat.be/uniCat?func=search&query=sysid:209913 AB - The axiomatic theory of sets is a vibrant part of pure mathematics, with its own basic notions, fundamental results, and deep open problems. At the same time, it is often viewed as a foundation of mathematics so that in the most prevalent, current mathematical practice "to make a notion precise" simply means "to define it in set theory." This book tries to do justice to both aspects of the subject: it gives a solid introduction to "pure set theory" through transfinite recursion and the construction of the cumulative hierarchy of sets, but it also attempts to explain precisely how mathematical objects can be faithfully modeled within the universe of sets. In this new edition the author added solutions to selected exercises, and rearranged and reworked the text in several places to improve the presentation. The book is aimed at advanced undergraduate or beginning graduate mathematics students and at mathematically minded graduate students of computer science and philosophy. ER -