Generalizations of the Los-Tarski Preservation Theorem

Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty

We present new preservation theorems that semantically characterize the ${\exists }^k{\forall }^{\ast }$ and ${\forall }^k{\exists }^{\ast }$ prefix classes of first order logic, for each natural number…