Axiomatic Set Theory
Springer International Publishing (Verlag)
978-3-032-10039-9 (ISBN)
- Noch nicht erschienen - erscheint am 23.06.2026
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
This book discusses set theory as the foundation and language of all mathematics and how axiomatic set theory benefits from advances in logic. Chapters are written to be accessible and formative for majors in mathematics, computer science, and philosophy. The author presents the important tools and topics including relations and functions, the concept of order, induction and inductive definitions, Cantor s diagonalisation as well as ordinals and cardinals. The axioms of (ZFC) set theory are introduced with natural axiomatizations and informal justifications, which is relatively distinctive. Interesting topics such as computing the support of sets by a recursively defined function and the von Neumann Hierarchy are included.
George Tourlakis, Ph.D., is a University Professor in the Department of Electrical Engineering and Computer Science at York University, Toronto, Canada. He obtained his B.Sc. in mechanical and electrical engineering from the National Technical University of Athens and his M.Sc. and Ph.D. in computer science from the University of Toronto. Dr. Tourlakis has authored nine books in computability, logic, and axiomatic set theory and has also authored several journal articles in computability and modal logic. His research interests include calculational logic, modal logic, proof theory, computability with partial oracles, and complexity theory.
The Foundations of Logic.- (Axiomatic) Set Theory.- The Axiom of Choice.- The Natural Numbers: Transitive Closure.- Order.- Cardinality.
| Erscheinungsdatum | 29.11.2025 |
|---|---|
| Reihe/Serie | Synthesis Lectures on Mathematics & Statistics |
| Zusatzinfo | X, 265 p. 55 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 168 x 240 mm |
| Themenwelt | Mathematik / Informatik ► Mathematik |
| Schlagworte | Atoms in Set Theory • Building Sets by Stages • Cardinality • foundations of logic • Urelements • Urelements in Set Theory |
| ISBN-10 | 3-032-10039-9 / 3032100399 |
| ISBN-13 | 978-3-032-10039-9 / 9783032100399 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
