Filter
Matematisk logik
Filter
The notion of an (8,1)-category has become widely used in homotopy theory, category theory, and in a number of applications. There are many different approaches to this structure, …
Fascinating connections exist between group theory and automata theory, and a wide variety of them are discussed in this text. Automata can be used in group theory to encode …
Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to …
This is a classic introduction to set theory in three parts. The first part gives a general introduction to set theory, suitable for undergraduates; complete proofs are given and …
This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Philosophical considerations, which are often ignored or treated casually, are here …
This text presents methods of modern set theory as tools that can be usefully applied to other areas of mathematics. The author describes numerous applications in abstract geometry …
This quick yet detailed introduction to set theory and forcing builds the reader's intuition about it as much as the mathematical detail. Intuition, rather absent from the existing …