Dynamic Mereotopology. III. Whiteheadian Type of Integrated Point-Free Theories of Space and Time. III

详细

This is the third in a three-part series of papers shortly denoted by Part I [1], and Part II [2], and Part III. The papers mentioned are devoted to some Whiteheadean theories of space and time. Part I contains a historical introduction and some facts from static mereotopology. Part II introduces a point-based definition of a dynamic model of space and a definition of a standard dynamic contact algebra based on the so-called snapshot construction. The given model has an explicit time structure with an explicit set of time points equipped with a before–after relation and a set of regions changing in time, called dynamic regions. The dynamic model of space contains several definable spatiotemporal relations between dynamic regions: space contact, time contact, precedence, and some others. In Part II, a number of statements for these relations are proven, which in the present Part III are taken as axioms for the abstract definition of some natural classes of dynamic contact algebras, considered as an algebraic formalization of dynamic mereotopology. Part III deals with a representation theory for dynamic contact algebras, and the main theorem says that each dynamic contact algebra in some natural class is representable as a standard dynamic contact algebra in the same class.