Filter
Mängdlära
Filter
Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should …
This volume provides a study of the unit groups of orders in skew fields, finite dimensional and central over the rational field. The purpose of the text is to provide a synopsis …
This is a collection of articles on set theory written by some of the participants in theResearchProgrammeonSetTheoryanditsApplicationsthattookplaceatthe Centre de Recerca Matem' …
Labyrinth of Thought discusses the emergence and development of set theory and the set-theoretic approach to mathematics during the period 1850-1940. Rather than focusing on the …
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 …
This book is an introduction to modern cardinal arithmetic, developed in the frame of the axioms of Zermelo-Fraenkel set theory together with the axiom of choice. It splits into …
This volume explores A.P. Morse’s (1911-1984) development of a formal language for writing mathematics, his application of that language in set theory and mathematical analysis, …