This book presents the classic relative consistency proofs in set theory that are obtained by the device of 'inner models'. …
Designed for undergraduate students of set theory, Classic Set Theory presents a modern perspective of the classic work of Georg …
Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics …
2 DVD set with 24 lectures 30 minutes each for a total of 720 minutes...
What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by …
In Infinity and the Mind, Rudy Rucker leads an excursion to that stretch of the universe he calls the "Mindscape," …
The Mathematical Mind of F. M. Dostoevsky: Imaginary Numbers, Non-Euclidean Geometry, and Infinity reconstructs the curriculum and readings that F. …
Set Theory and the Continuum Problem is a novel introduction to set theory, including axiomatic development, consistency, and independence results. …
Presents Results from a Very Active Area of Research Exploring an active area of mathematics that studies the complexity of …
Presents a novel approach to set theory that is entirely operational. This approach avoids the existential axioms associated with traditional …
Exploring philosophical questions about infinity, Graham Oppy examines how the infinite lurks everywhere, both in science and in our ordinary …
This book is intended as an undergraduate senior level or beginning graduate level text for mathematical logic. There are virtually …
The authors cover first order logic and the main topics of set theory in a clear mathematical style with sensible …
Ordered structures have been increasingly recognized in recent years due to an explosion of interest in theoretical computer science and …
A clear, readable introductory treatment of Hilbert Space. The multiplicity theory of continuous spectra is treated, for the first time …
Differential geometry and topology have become essential tools for many theoretical physicists. In particular, they are indispensable in theoretical studies …
Intrinsically noncommutative spaces today are considered from the perspective of several branches of modern physics, including quantum gravity, string theory, …
An introduction to the theory of orbifolds from a modern perspective, combining techniques from geometry, algebraic topology and algebraic geometry. …
The objective of this textbook is the construction, analysis, and interpretation of mathematical models to help us understand the world …
Marcus Giaquinto tells the compelling story of one of the great intellectual adventures of the modern era: the attempt to …
Fundamentals of Mathematics represents a new kind of mathematical publication. While excellent technical treatises have been written about specialized fields, …
In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development …
This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship …
This book is dedicated to V.A. Yankov’s seminal contributions to the theory of propositional logics. His papers, published in the …
This book contains contributions from several international authors to topics of current interest, such as AI, intelligent systems, and logic …
In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory …
A book which efficiently presents the basics of propositional and predicate logic, van Dalen's popular textbook contains a complete treatment …
The primary purpose of this undergraduate text is to teach students to do mathematical proofs. It enables readers to recognize …
The surreal numbers form a system which includes both the ordinary real numbers and the ordinals. Since their introduction by …
This volume contains the expanded versions of the lectures given by the authors at the C. I. M. E. instructional …
This volume contains the expanded versions of the lectures given by the authors at the C.I.M.E. instructional conference held in …