An Omitting Types Theorem for Finite Schematizable Algebraic Logic

We prove an Omitting Types Theorem for the extension of first order logic studied by Nemeti, Sain and others as a solution to the so-called Finitization Problem in Algebraic Logic. A new omitting types theorem for first order logic is obtained.