A sufficient and necessary condition for omitting types

MaRDI QIDQ3435232zbMATHFDO

Authors Tarek Sayed Ahmed

Publication date 25 April 2007

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Omitting types algebraically via cylindric algebras
• A note on Steinhorn's omitting types theorem
• Omitting types in incomplete theories
• Stability and omitting types
• A note on omitting types in propositional logic.

Cited in

(3)

• Omitting types algebraically via cylindric algebras
• An omitting types theorem for positive bounded formulas in normed spaces
• scientific article; zbMATH DE number 7301530 (Why is no real title available?)

This page was built for publication: A sufficient and necessary condition for omitting types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3435232)