A Generalization of the Łoś-Tarski Preservation Theorem

Abhisekh Sankaran

In this dissertation, we present for each natural number $k$, semantic characterizations of the ${\exists }^k{\forall }^{\ast }$ and ${\forall }^k{\exists }^{\ast }$ prefix classes of first order logic…