Set theory

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

Papers based on a series of workshops where prominent researchers present exciting developments in set theory to a broad audience.

Papers based on a series of workshops where prominent researchers present exciting developments in set theory to a broad audience.

A rigorous introduction to real analysis for undergraduates.

A rigorous introduction to real analysis for undergraduates.

A comprehensive account that gives equal attention to the combinatorial, logical and applied aspects of partially ordered sets.

This book offers a new, algebraic, approach to set theory.

This book will make an excellent introduction to the subject for graduate students and research workers in set theory and analysis.

The most seminal collection of papers of descriptive set theory reprinted and put into the modern research context.

A collection of remarkable papers from various areas of mathematical logic, written by outstanding members of the field.

This 2001 book will appeal to mathematicians and philosophers interested in the foundations of mathematics.

This fresh approach to set theory covers the theoretical fundamentals as well as outline connections with other parts of mathematics.

This book is a self-contained, up-to-date introduction to simple theories and the model theory of hyperimaginaries.

Essentials of Mathematical Thinking addresses the growing need to better comprehend mathematics today.

Kurt Godel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems.

Praise for the First Edition "e;.

A deep dive into the historical and philosophical background of Gödel''s famed 1931 paper on incompleteness.

A deep dive into the historical and philosophical background of Gödel''s famed 1931 paper on incompleteness.

A concise tour from the subject''s ancient roots towards the highest infinities and their surprising implications for the finite.

The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type theory.

Discover the mathematical riches of ''what is diversity?

Provides a general framework for doing geometric group theory for non-locally-compact topological groups arising in mathematical practice.

Provides a general framework for doing geometric group theory for non-locally-compact topological groups arising in mathematical practice.

This easy-to-cite handbook gives the first systematic treatment of the (co)end calculus in category theory and its applications.

This volume presents the proceedings of the 2000 European Summer Meeting of the Association for Symbolic Logic, marking one hundred years since Hilbert''s famous lecture.

This volume contains proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria in August, 2001.

Represents the state of the art in the new field of synthetic differential topology.

This volume contains research papers in mathematical logic, particularly in model theory and its applications to algebra and formal theories of arithmetic.

A leading expert presents a unified concept of slenderness in Abelian categories, with numerous open problems and exercises.

This volume contains twenty-four original research papers by leading experts, exhibiting exciting new developments in reverse mathematics since 1998.

This volume presents the proceedings of two major international meetings on mathematical logic held in Münster, Germany, in August 2002.

Nonstandard analysis is one of the great achievements of modern mathematical logic.

This volume contains proceedings of the 1998 European Summer Meeting of the Association for Symbolic Logic held at the University of Economics, Prague.

This volume presents the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland in August, 2003.

This volume contains the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, The Netherlands in 1999.

For those who wonder if the forcing theory is beyond their means: no.

Helps students transition from problem solving to proving theorems, with a new chapter on number theory and over 150 new exercises.

Helps students transition from problem solving to proving theorems, with a new chapter on number theory and over 150 new exercises.

The second edition of a successful and unique textbook for students in mathematics or theoretical computer science.

The second edition of a successful and unique textbook for students in mathematics or theoretical computer science.

Lays the foundations for a new area of descriptive set theory: the connection between forcing and analytic equivalence relations.

Lays the foundations for a new area of descriptive set theory: the connection between forcing and analytic equivalence relations.

This volume, first published in 2000, contains a collection of survey papers providing an introduction for graduate students and researchers in these fields.

Presents those methods of modern set theory most applicable to other areas of pure mathematics.

The Banach–Tarski paradox is a most striking mathematical construction: it asserts that a solid ball may be taken apart into finitely many pieces that can be rearranged using rigid motions to form a ball twice as large as the original.

A comprehensive account that gives equal attention to the combinatorial, logical and applied aspects of partially ordered sets.

In recent years, applied mathematics has been used in all novel disciplines of scientific development.

In recent years, applied mathematics has been used in all novel disciplines of scientific development.

Starting with the most basic notions, Universal Algebra: Fundamentals and Selected Topics introduces all the key elements needed to read and understand current research in this field.

Originally published in 1973.