Интервальные расширения порядков и темпоральные аппроксимационные пространства

Исследуются алгоритмические свойства интервальных расширений плотных линейных порядков, в частности, степени сложности (а именно, $s\Sigma$-степени) таких расширений. Показано, что непрерывность является необходимым и достаточным условием равенства степеней сложности порядка и его интервального расширения. Темпоральные аппроксимационные пространства над интервальными расширениями рассматриваются как математические модели семантики глаголов в естественных языках. Показано, что непрерывность порядка влечет эффективность проверки истинности $\Delta_0^{DL}$-формул в пространствах над $sc$-простыми обогащениями. Как следствие получено эффективное описание интервалов, соответствующих различным временам английского глагола.