RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 2016, том 55, номер 3, страницы 273–299 (Mi al742)

Эта публикация цитируется в 5 статьях

Динамическая мереотопология. III. Единые бесточечные теории пространства и времени типа Уайтхеда. III

Д. Вакарелов

Sofia Univ., Faculty of math. inform., Dep. math. logic appl., Blvd James Bourchier 5, Sofia, BULGARIA

Аннотация: Эта работа является заключительной частью и образует единое целое вместе с ч. I [Алгебра и логика, 53, № 3 (2014), 300–322] и ч. II [Алгебра и логика, 55, № 1 (2016), 14–36]. Они посвящены теории пространства и времени типа Уайтхеда. В ч. I содержится введение в историю вопроса и некоторые результаты статической мереотопологии; в ч. II вводится точечно базируемое определение динамической модели пространства и определение стандартной динамической контактной алгебры, основанные на специальном методе моментального снимка. Данная модель имеет явно выраженную структуру времени с явно указанными временными точками, для которых задано отношение предшествования; регионы, изменяющиеся во времени, названы динамическими регионами. Динамическая модель пространства содержит несколько определимых пространственно-временных отношений между динамическими регионами: пространственный контакт, временной контакт, отношение предшествования и некоторые др. Для этих отношений в ч. II были выявлены свойства, которые в ч. III используются как аксиомы для абстрактного определения естественных классов динамических контактных алгебр, что рассматривается как алгебраическая формализация динамической мереотопологии. Заключительная часть посвящена теории представлений динамических контактных алгебр, основная теорема утверждает, что каждая динамическая контактная алгебра из некоторых естественных классов представима как стандартная алгебра из того же класса.

Ключевые слова: динамическая контактная алгебра, динамическая мереотопология, бесточечная теория пространства и времени, теоремы о представлении.

УДК: 510.65

Поступило: 01.11.2013

DOI: 10.17377/alglog.2016.55.301


 Англоязычная версия: Algebra and Logic, 2016, 55:3, 181–197

Реферативные базы данных:


© МИАН, 2024