Jordan surface theorem for simple closed \textit{SST}-surfaces (Q2295637)

This paper works in the setting of ``\textit{SACs}'' and their resulting ``\textit{SST} structures''. An \textit{SAC} is a ``subdivided abstract complex'', a sort of abstract cell complex with some specified subdivisions. Such a \textit{SAC} induces a locally finite $T_0$ topology which the author calls the \textit{SST} structure (\textit{SST} stands for ``Space Set Topological''). Beginning with a surface, for example, choosing a finite cell structure on this surface then produces this locally finite \textit{SST} structure which is reminiscent of various ``digital'' topological notions. The main result is an \textit{SST} version of the ``Jordan surface theorem'', the statement that an embedded 2-sphere in $\mathbb R^3$ separates $\mathbb R^3$ into two open components whose common boundary is the embedded 2-sphere. The theorem is stated in general but the proof is given in detail only for a specific example \textit{SAC} structure on $S^2$. A corollary states that the result holds for any ``simple closed surface'' (not necessarily the sphere), which the author states can be proved by similar methods.