ENGLISH

Sets, Logic and Categories

By Peter J. Cameron

Book information

Publisher
Springer
Year
1998
ISBN
978-1-85233-056-9, 978-1-4471-0589-3
DOI
10.1007/978-1-4471-0589-3
Language
english
Format
PDF
Filesize
7 MB (7562747 bytes)
Series
Springer Undergraduate Mathematics Series
Edition
1
Pages
180\190
Topic
Mathematics Logic
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2013-08-01 04:00:00
Homological Algebra; K-TheoryMathematical Logic and Foundations; Category Theor

Description

Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics that we do, through the Axiom of Choice, Gödel's Theorem, and the Skolem Paradox. But they are also rich mathematical theories in their own right, contributing techniques and results to working mathematicians such as the Compactness Theorem and module categories. The book is aimed at those who know some mathematics and want to know more about its building blocks. Set theory is first treated naively an axiomatic treatment is given after the basics of first-order logic have been introduced. The discussion is su pported by a wide range of exercises. The final chapter touches on philosophical issues. The book is supported by a World Wibe Web site containing a variety of supplementary material.

Similar books