A sufficient and necessary condition for omitting types

zbMATH Open1117.03349MaRDI QIDQ3435232FDOQ3435232

Authors: Tarek Sayed Ahmed 

Publication date: 25 April 2007

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.

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• Omitting types algebraically via cylindric algebras
• An omitting types theorem for positive bounded formulas in normed spaces

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)