Neat embeddings, omitting types, and interpolation: an overview
From MaRDI portal
(Redirected from Publication:558739)
Recommendations
- Neat reducts and amalgamation in retrospect, a survey of results and some methods. II: Results on amalgamation
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs
- Martin's axiom, omitting types, and complete representations in algebraic logic
- Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts
- Omitting types for finite variable fragments and complete representations of algebras
Cites work
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- scientific article; zbMATH DE number 1747697 (Why is no real title available?)
- scientific article; zbMATH DE number 3339390 (Why is no real title available?)
- A confirmation of a conjecture of Tarski
- Algebraizable logics
- Amalgamation and interpolation in normal modal logics
- Amalgamation, congruence-extension, and interpolation properties in algebras
- An introduction to cylindric set algebras
- Atom structures of cylindric algebras and relation algebras
- Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics
- Complete representations in algebraic logic
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Cylindric algebras. Part II
- Cylindric modal logic
- Cylindric-relativised set algebras have strong amalgamation
- Epimorphisms in cylindric algebras and definability in finite variable logic
- Finite schematizable algebraic logic
- Martin's axiom, omitting types, and complete representations in algebraic logic
- Model theory.
- Non-finite-axiomatizability results in algebraic logic
- Nonfinite axiomatizability results for cylindric and relation algebras
- Nonfinitizability of classes of representable cylindric algebras
- Omitting types and the real line
- Omitting types for algebraizable extensions of first order logic
- Omitting types in incomplete theories
- On amalgamation of reducts of polyadic algebras
- On modal logics betweenK × K × KandS5 × S5 × S5
- On neat reducts of algebras of logic
- On systems of varieties definable by schemes of equations
- On the search for a finitizable algebraization of first order logic
- On universal algebraic constructions of logics
- Persistence and atomic generation for varieties of Boolean algebras with operators
- Provability with Finitely Many Variables
- Rectangular games
- Relation algebra reducts of cylindric algebras and an application to proof theory
- Relation algebras and projective geometries
- Relation algebras by games
- Relation algebras from cylindric algebras. II
- Step by step – Building representations in algebraic logic
- The class of 2-dimensional neat reducts is not elementary
- The class of neat reducts is not elementary
- The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP
- Varieties of complex algebras
Cited in
(6)- A Neat Embedding Theorem for Expansions of Cylindric Algebras
- The Neat Embedding Problem and the Number of Variables Required in Proofs
- Omitting types for finite variable fragments and complete representations of algebras
- Some results about neat reducts
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs
- Strong amalgamation in systems of varieties
This page was built for publication: Neat embeddings, omitting types, and interpolation: an overview
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q558739)
