Geodesic
Dynamic mereotopology. III. Whiteheadian type of integrated point-free theories of space and time. III
Algebra i logika, Tome 55 (2016) no. 3, pp. 273-299

Voir la notice de l'article provenant de la source Math-Net.Ru

This is the third in a three-part series of papers shortly denoted by Part I [Algebra i Logika, 53, No. 3 (2014), 300–322], Part II [Algebra i Logika, 55, No. 1 (2016), 14–36], 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 the 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 spatio-temporal 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.
Keywords: dynamic contact algebra, dynamic mereotopology, point-free theory of space and time, representation theorems. 
@article{AL_2016_55_3_a0,
     author = {D. Vakarelov},
     title = {Dynamic {mereotopology.~III.} {Whiteheadian} type of integrated point-free theories of space and {time.~III}},
     journal = {Algebra i logika},
     pages = {273--299},
     publisher = {mathdoc},
     volume = {55},
     number = {3},
     year = {2016},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2016_55_3_a0/}
}
TY  - JOUR
AU  - D. Vakarelov
TI  - Dynamic mereotopology. III. Whiteheadian type of integrated point-free theories of space and time. III
JO  - Algebra i logika
PY  - 2016
SP  - 273
EP  - 299
VL  - 55
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2016_55_3_a0/
LA  - ru
ID  - AL_2016_55_3_a0
ER  - 
%0 Journal Article
%A D. Vakarelov
%T Dynamic mereotopology. III. Whiteheadian type of integrated point-free theories of space and time. III
%J Algebra i logika
%D 2016
%P 273-299
%V 55
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2016_55_3_a0/
%G ru
%F AL_2016_55_3_a0
D. Vakarelov. Dynamic mereotopology. III. Whiteheadian type of integrated point-free theories of space and time. III. Algebra i logika, Tome 55 (2016) no. 3, pp. 273-299. http://geodesic.mathdoc.fr/item/AL_2016_55_3_a0/