Space and time via Topological and Tense cylindric algebras

MaRDI QIDQ6342183FDO

Authors Tarek Sayed Ahmed

Publication date 18 May 2020

Abstract: Let $alpha$ be an arbritary ordinal, and $2<n<omega$. In cite{3} accepted for publication in Quaestiones Mathematicae, we studied using algebraic logic, interpolation, amalgamation using $alpha$ many variables for topological logic with $alpha$ many variables briefly $sfTop{L}_{alpha}$. This is a sequel to cite{3}; the second part on modal cylindric algebras, where we study algebraically other properties of $sfTop{L}_{alpha}$. Modal cylindric algebras are cylindric algebras of infinite dimension expanded with unary modalities inheriting their semantics from a unimodal logic $sfL$ such as $sfK5$ or $sfS4$. Using the methodology of algebraic logic, we study topological (when $sfL=S4$), in symbols $sfTC{A}_{alpha}$. We study completeness and omitting types $sfOTT$s for $sfTop{L}_{omega}$ and $sfTen{L}_{omega}$, by proving several representability results for locally finite such algebras. Furthermore, we study the notion of atom-canonicity for both ${sfTCA}_n$ and ${sfTenL}_n$, a well known persistence property in modal logic, in connection to $sfOTT$ for ${sfTopL}_n$ and ${sfTeLCA}_n$, respectively. We study representability, omitting types, interpolation and complexity isssues (such as undecidability) for topological cylindric algebras. In a sequel to this paper, we introduce temporal cyindric algebras and point out the way how to amalgamate algebras of space (topological algebars) and algebras of time (temporal algebras) forming topological-temporal cylindric algebras that lend themselves to encompassing spacetime gemetries, in a purely algebraic manner.

This page was built for publication: Space and time via Topological and Tense cylindric algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6342183)