The interior operator logic and product topologies
Joseph Sgro · Transactions of the American Mathematical Society · 1980
In this paper we present a model theory of the interior operator on product topologies with continuous functions. The main results are a completeness theorem, an axiomatization of topological groups, and a proof of an interpolation and definability theorem.