Completions, complete representations and omitting types
From MaRDI portal
Publication:2853715
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
Cited in
(15)- Models omitting given complete types
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs
- Model completions and omitting types
- Complete Representations and Neat Embeddings
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
- Omitting types for finite variable fragments of first order logic
- Notions of representability for cylindric algebras: some algebras are more representable than others
- Omitting Types in Fragments and Extensions of First Order Logic
- scientific article; zbMATH DE number 5872251 (Why is no real title available?)
- A brief history of Tarskian algebraic logic with new perspectives and innovations
- 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
- Omitting types in logic of metric structures
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
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)
