Set Theory category: 64 books

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems,...

Transition to Real Analysis with Proof provides undergraduate students with an introduction to analysis including an introduction to proof. The text combines the topics covered in a transition course to lead into a first course on analysis. This combined approach allows instructors to teach a single...

Anyone can appreciate the beauty, depth, and vitality of mathematics with the help of this highly readable text, specially developed from a college course designed to appeal to students in a variety of fields. Readers with little mathematical background are exposed to a broad range of subjects chosen...

This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region. It contains papers by leading logicians and also some contributions in computer science logics and philosophic logics. Contents: An...

Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive hierarchy...

This is a rigorous introduction to real analysis for undergraduate students, starting from the axioms for a complete ordered field and a little set theory. The book avoids any preconceptions about the real numbers and takes them to be nothing but the elements of a complete ordered field. All of the...

This book formally introduces synthetic differential topology, a natural extension of the theory of synthetic differential geometry which captures classical concepts of differential geometry and topology by means of the rich categorical structure of a necessarily non-Boolean topos and of the systematic...

Successful development of effective computational systems is a challenge for IT developers across sectors due to uncertainty issues that are inherently present within computational problems. Soft computing proposes one such solution to the problem of uncertainty through the application of generalized...

Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to current trends in model theory, and contains a collection of articles authored by top researchers in the field. It is intended as a reference for students as well as senior researchers.

Accessible to all students with a sound background in high school mathematics, A Concise Introduction to Pure Mathematics, Fourth Edition presents some of the most fundamental and beautiful ideas in pure mathematics. It covers not only standard material but also many interesting topics not usually...

At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic definitions, separate chapters explain three ways of expressing universal properties: via adjoint functors, representable...

This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory. The fundamental concept of recursion makes the idea of computability accessible to a mathematical analysis, thus forming one of the pillars on which...

This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters cover topics in mathematical and philosophical logic that examine various aspects of the foundations...

Null Set collects the slightly obsessive possibilities that rise when we give them the space—odd jobs, trouble-making, and farm boy rambling, all in dialogue with mathematics, or William Faulkner, or other poets. From "Hypotenuse": HYPOTENUSE I write three, erase it, blow...