Omitting Types Algebraically via Cylindric Algebras
Tarek Sayed Ahmed, Mohamed Khaled · 2009
We generalize the Omitting types Theorem for first order logic to logics with infinitary predicates. Also we give a necessary and sufficient condition for when non-principal types are omitted. Our characterization applies to first order logic. Our treatment is algebraic using cylindric algebras. Mathematics Subject Classification: 03G15; 06E25