Matematikens grunder
Filter
Graph theory meets number theory in this stimulating book. Ihara zeta functions of finite graphs are reciprocals of polynomials, sometimes in several variables. Analogies abound …
Over the last 45 years, Boolean theorem has been generalized and extended in several different directions and its applications have reached into almost every area of modern …
Practical Foundations collects the methods of construction of the objects of twentieth century mathematics. Although it is mainly concerned with a framework essentially equivalent …
The theory of natural dualities, as presented in this text, is broad enough to encompass many known dualities through a rich assortment of substantive theorems, yet concrete enough …
This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht–Fraïssé game; and the model …
This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an …
This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an …
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed …
Now in paperback, the main theme of this book is the study of geometric properties of general sets and measures in euclidean spaces. Applications of this theory include …
This text organizes a range of results in chromatic homotopy theory, running a single thread through theorems in bordism and a detailed understanding of the moduli of formal …