Omitting types for finite variable fragments of first order logic

MaRDI QIDQ3433178zbMATH OpenFDO

Authors Tarek Sayed Ahmed

Publication date 27 April 2007

zbMATH Keywords

first-order logicalgebraic logic

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Subsystems of classical logic (including intuitionistic logic) (03B20) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Omitting types for finite variable fragments and complete representations of algebras
• Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
• An omitting types theorem in finite schematizable algebraic logic
• Omitting types algebraically via cylindric algebras
• Completions, complete representations and omitting types

Cited in

(8)

• Omitting types for algebraizable extensions of first order logic
• A note on omitting types in propositional logic.
• Omitting types algebraically via cylindric algebras
• Optimized encodings of fragments of type theory in first order logic
• Omitting types for finite variable fragments and complete representations of algebras
• Omitting Types in Fragments and Extensions of First Order Logic
• An omitting types theorem in finite schematizable algebraic logic
• Completions, complete representations and omitting types

This page was built for publication: Omitting types for finite variable fragments of first order logic

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