Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have