Set theory

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.

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.

This volume presents a novel approach to set theory that is entirely operational.

This volume presents a novel approach to set theory that is entirely operational.

Many of the modern variational problems in topology arise in different but overlapping fields of scientific study: mechanics, physics and mathematics.

Many of the modern variational problems in topology arise in different but overlapping fields of scientific study: mechanics, physics and mathematics.

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all.

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all.

A comprehensive work in finite-value systems that covers the latest achievements using the semi-tensor product method, on various kinds of finite-value systems.

A comprehensive work in finite-value systems that covers the latest achievements using the semi-tensor product method, on various kinds of finite-value systems.

The Art of Proving Binomial Identities accomplishes two goals: (1) It provides a unified treatment of the binomial coefficients, and (2) Brings together much of the undergraduate mathematics curriculum via one theme (the binomial coefficients).

The Art of Proving Binomial Identities accomplishes two goals: (1) It provides a unified treatment of the binomial coefficients, and (2) Brings together much of the undergraduate mathematics curriculum via one theme (the binomial coefficients).

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists.

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists.

Over the past 20 years, the emergence of clone theory, hyperequational theory, commutator theory and tame congruence theory has led to a growth of universal algebra both in richness and in applications, especially in computer science.

This Festschrift includes papers presented to honour Solomon Feferman on his seventieth birthday, reflecting his broad interests and his approach to foundational research.

Explores connections between infinitary model theory and other branches of mathematical logic, with algebraic applications.

Explores connections between infinitary model theory and other branches of mathematical logic, with algebraic applications.

This book constructs an inner model with a Woodin cardinal and develops its fine structure theory using the theory of iteration trees.

Proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in 1990, containing eighteen papers by leading researchers.

This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.

A much-needed monograph on the metamathematics of first-order arithmetic, paying particular attention to fragments of Peano arithmetic.

This book presents the theory of proper forcing and its relatives from the beginning.

A comprehensive account of the theory of constructible sets at an advanced level, aimed at graduate mathematicians.

This volume makes the basic facts about admissible sets accessible to logic students and specialists alike.

This book brings together several directions of work in model theory between the late 1950s and early 1980s.

The theory set out in this book results from the meeting of descriptive set theory and recursion theory.

These notes develop the theory of descriptive sets, leading up to a new proof of Louveau''s separation theorem for analytic sets.

Proceedings of the conference ''Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel''s Legacy'', held in 1996.

Suitable for graduate students and researchers in set theory, this volume develops a method for constructing core models that have Woodin cardinals.

Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, covering classical topics of mathematical logic.

An innovative and largely self-contained textbook bringing model theory to an undergraduate audience.

An innovative and largely self-contained textbook bringing model theory to an undergraduate audience.

Set theory can be considered a unifying theory for mathematics.

Set theory can be considered a unifying theory for mathematics.

The third in a series of four books presenting the seminal papers from the Caltech-UCLA ''Cabal Seminar''.

The third in a series of four books presenting the seminal papers from the Caltech-UCLA ''Cabal Seminar''.

The Banach–Tarski Paradox seems patently false.

The Banach–Tarski Paradox seems patently false.

This book brings the researcher up to date with recent applications of mathematical logic to number theory.

This book brings the researcher up to date with recent applications of mathematical logic to number theory.

This book, for a first undergraduate course in Discrete Mathematics, systematically exploits the relationship between discrete mathematics and computer programming.

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.

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.

Model theory is one of the central branches of mathematical logic.

Based on lax-algebraic and categorical methods, Monoidal Topology provides a unified theory for metric and topological structures with far-reaching applications.

A short introduction ideal for students learning category theory for the first time.

A short introduction ideal for students learning category theory for the first time.

Based on lax-algebraic and categorical methods, Monoidal Topology provides a unified theory for metric and topological structures with far-reaching applications.

This book conveys to the novice the big ideas in the rigorous mathematical theory of infinite sets.