Maximal Logics
Joseph Sgro · Proceedings of the American Mathematical Society · 1977
In this paper we present a general method for producing logics on various classes of models which are maximal with respect to a Łoś ultraproducts theorem. As a corollary we show that ${\mathcal {L}^{{\text {Top}}}}$ is maximal. We also show that these maximal logics satisfy the Souslin-Kleene property.