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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call