Mengdelære

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The …

Monoidal Topology describes an active research area that, after various past proposals on how to axiomatize 'spaces' in terms of convergence, began to emerge at the beginning of …

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 book is an up-to-date introduction to simple theories and hyperimaginaries, with special attention to Lascar strong types and elimination of hyperimaginary problems. Assuming …

Thoroughly revised, updated, expanded, and reorganized to serve as a primary text for mathematics courses, Introduction to Set Theory, Third Edition covers the basics: relations, …

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 …

One of the greatest revolutions in mathematics occurred when Georg Cantor (1845-1918) promulgated his theory of transfinite sets. This revolution is the subject of Joseph Dauben's …

'Circularity' is the story of a Janus-faced conceptual structure, that on the one hand led to deep scientific discoveries, and on the other hand is used to trick the mind into …

The fractional Laplacian, also called the Riesz fractional derivative, describes an unusual diffusion process associated with random excursions. The Fractional Laplacian explores …