Completions, complete representations and omitting types
From MaRDI portal
Publication:2853715
zbMATH Open1280.03061MaRDI QIDQ2853715FDOQ2853715
Authors: Tarek Sayed Ahmed
Publication date: 16 October 2013
Recommendations
- Omitting types algebraically via cylindric algebras
- Omitting types for finite variable fragments and complete representations of algebras
- Martin's axiom, omitting types, and complete representations in algebraic logic
- Omitting types for finite variable fragments of first order logic
- An omitting types theorem in finite schematizable algebraic logic
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cylindric and polyadic algebras; relation algebras (03G15) Abstract algebraic logic (03G27)
Cited In (15)
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
- Omitting types in logic of metric structures
- Model completions and omitting types
- Notions of representability for cylindric algebras: some algebras are more representable than others
- Omitting types for finite variable fragments of first order logic
- Omitting Types in Fragments and Extensions of First Order Logic
- Title not available (Why is that?)
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs
- Complete Representations and Neat Embeddings
- Omitting types algebraically and more about amalgamation for modal cylindric algebras
- Completeness in hybrid type theory
- The class of completely representable polyadic algebras of infinite dimensions is elementary
- Models omitting given complete types
- A brief history of Tarskian algebraic logic with new perspectives and innovations
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
This page was built for publication: Completions, complete representations and omitting types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2853715)