Set theory

The author selects 23 of his papers in mathematical logic that pursue definability via priority, forcing, compactness and fine structure applied to classical recursion, hyperarithmetic sets, recursion in objects of finite type, measure, models and E-recursion.

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

The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles.

This is an introductory undergraduate textbook in set theory.

Although data engineering is a multi-disciplinary field with applications in control, decision theory, and the emerging hot area of bioinformatics, there are no books on the market that make the subject accessible to non-experts.

This volume presents some exciting new developments occurring on the interface between set theory and computability as well as their applications in algebra, analysis and topology.

The Banach–Tarski Paradox seems patently false.

The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields to Hrushovksi's recent proof of the Mordell-Lang conjecture for function fields.

Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles.

The Language of Symmetry is a re-assessment of the structure and reach of symmetry, by an interdisciplinary group of specialists from the arts, humanities, and sciences at Oxford University.

Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms for mathematics, and what are the logical strengths of particular axioms and particular theorems.

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

Classical and Fuzzy Concepts in Mathematical Logic and Applications provides a broad, thorough coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic.

The study of polynomial completeness of algebraic systems has only recently matured, and until now, lacked a unified treatment.

This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory,.

Limits of Computation: An Introduction to the Undecidable and the Intractable offers a gentle introduction to the theory of computational complexity.

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

Transition to Real Analysis with Proof provides undergraduate students with an introduction to analysis including an introduction to proof.

This is an introductory undergraduate textbook in set theory.

This comprehensive introductory textbook is designed for undergraduate mathematics students seeking to gain a strong understanding of fuzzy sets and relations.

This book deals with two important branches of mathematics, namely, logic and set theory.

Discover the mathematical riches of ''what is diversity?

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

This textbook will continue to be the best suitable textbook written specifically for a first course on probability theory and designed for industrial engineering and operations management students.

Logic Colloquium '02 includes articles from some of the world's preeminent logicians.

Algebra & Geometry: An Introduction to University Mathematics, Second Edition provides a bridge between high school and undergraduate mathematics courses on algebra and geometry.

Model theory investigates mathematical structures by means of formal languages.

This book serves as a textbook in real analysis.

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

Lateral Solutions to Mathematical Problems offers a fresh approach to mathematical problem solving via lateral thinking.

The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic.

Designed for undergraduate students of set theory, Classic Set Theory presents a modern perspective of the classic work of Georg Cantor and Richard Dedekin and their immediate successors.

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject.

This book introduces the basic concepts of set theory, measure theory, the axiomatic theory of probability, random variables and multidimensional random variables, functions of random variables, convergence theorems, laws of large numbers, and fundamental inequalities.

This book makes a significant inroad into the unexpectedly difficult question of existence of Frechet derivatives of Lipschitz maps of Banach spaces into higher dimensional spaces.

This book offers a gentle introduction to type-2 fuzzy sets and, in particular, interval type-2 fuzzy sets and their application in biological modeling.

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

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

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

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.

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

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.

Model theory is the meta-mathematical study of the concept of mathematical truth.

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

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

This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence.