Omitting types for finite variable fragments of first order logic

zbMATH Open1119.03345MaRDI QIDQ3433178FDOQ3433178

Authors: Tarek Sayed Ahmed 

Publication date: 27 April 2007

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

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)

Cited In (8)

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

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)