Omitting types for algebraizable extensions of first order logic
From MaRDI portal
Publication:3647239
Recommendations
- Omitting types algebraically via cylindric algebras
- Martin's axiom, omitting types, and complete representations in algebraic logic
- New Behavior in Legal Decompositions Arising from Non-positive Linear Recurrences
- An omitting types theorem in finite schematizable algebraic logic
- Omitting types for finite variable fragments of first order logic
Cites work
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- scientific article; zbMATH DE number 193143 (Why is no real title available?)
- scientific article; zbMATH DE number 3627183 (Why is no real title available?)
- A completeness theorem for higher order logics
- Algebraic Logic, Where Does it Stand Today?
- Amalgamation and interpolation in normal modal logics
- Atom structures of cylindric algebras and relation algebras
- Complete representations in algebraic logic
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- Cylindric algebras. Part II
- Finite schematizable algebraic logic
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
- Isomorphic but not lower base-isomorphic cylindric algebras of finite dimension
- Isomorphic but not lower base-isomorphic cylindric set algebras
- Logic in algebraic form. Three languages and theories
- Martin's axiom, omitting types, and complete representations in algebraic logic
- Non-finite-axiomatizability results in algebraic logic
- Nonfinite axiomatizability results for cylindric and relation algebras
- Nonfinitizability of classes of representable cylindric algebras
- Nonfinitizability of classes of representable polyadic algebras
- Omitting types and the real line
- Omitting types in incomplete theories
- On neat reducts of algebras of logic
- On the equational theory of representable polyadic equality algebras
- On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
- 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
- Step by step – Building representations in algebraic logic
- Strong representability of fork algebras, a set theoretic foundation
- Weakly representable but not representable relation algebras
Cited in
(8)- Omitting types and AF algebras
- An omitting types theorem in finite schematizable algebraic logic
- Neat embeddings, omitting types, and interpolation: an overview
- An Omitting Types Theorem for first order logic with infinitary relation symbols
- Omitting types algebraically via cylindric algebras
- Martin's axiom, omitting types, and complete representations in algebraic logic
- Strong amalgamation in systems of varieties
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
This page was built for publication: Omitting types for algebraizable extensions of first order logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3647239)
