Kategoria BISAC: Mathematics >> Algebra - Abstract

• Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi and temporal logics
• Performance evaluation, dependability modelling and analysis of real-time systems with different kinds of timed Petri-nets...

This volume explores the many different meanings of the notion of the axiomatic method, offering an insightful historical and philosophical discussion about how these notions changed over the millennia.

The author, a well-known philosopher and historian of mathematics, first examines Euclid, who is considered the father of the axiomatic method, before moving onto Hilbert and Lawvere. He then presents a deep textual analysis of each writer and describes how their ideas are different and even how their ideas progressed over time. Next, the book explores category theory and details...

This book consists of both expository and research articles solicited from speakers at the conference entitled "Arithmetic and Ideal Theory of Rings and Semigroups," held September 22-26, 2014 at the University of Graz, Graz, Austria. It reflects recent trends in multiplicative ideal theory and factorization theory, and brings together for the first time in one volume both commutative and non-commutative perspectives on these areas, which have their roots in number theory, commutative algebra, and algebraic geometry. Topics discussed include topological aspects in ring theory, Prufer...

First year, undergraduate, mathematics students in Japan have for many years had the opportunity of a unique experience---an introduction, at an elementary level, to some very advanced ideas in mathematics from one of the leading mathematicians of the world. English reading students now have the opportunity to enjoy this lively presentation, from elementary ideas to cartoons to funny examples, and to follow the mind of an imaginative and creative mathematician into a world of enduring mathematical creations.

A locally compact group has the Haagerup property, or is a-T-menable in the sense of Gromov, if it admits a proper isometric action on some affine Hilbert space. As Gromov's pun is trying to indicate, this definition is designed as a strong negation to Kazhdan's property (T), characterized by the fact that every isometric action on some affine Hilbert space has a fixed point. This book is to covers various aspects of the Haagerup property. It gives several new examples.

This book deals with the dynamics of general systems such as foliations, groups and pseudogroups, systems which are closely related via the notion of holonomy. It concentrates on notions and results related to different ways of measuring complexity of systems under consideration. More precisely, it deals with different types of growth, entropies and dimensions of limiting objects. Problems related to the topics covered are provided throughout the book.

This volume is a sequel to "Manis Valuation and Prufer Extensions I," LNM1791. The Prufer extensions of a commutative ring A are roughly those commutative ring extensions R / A, where commutative algebra is governed by Manis valuations on R with integral values on A. These valuations then turn out to belong to the particularly amenable subclass of PM (=Prufer-Manis) valuations. While in Volume I Prufer extensions in general and individual PM valuations were studied, now the focus is on families of PM valuations. One highlight is the presentation of a very general and deep approximation...