Omitting types for algebraizable extensions of first order logic

DOI10.3166/JANCL.15.465-489zbMATH Open1185.03091OpenAlexW2094894200MaRDI QIDQ3647239FDOQ3647239

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.15.465-489

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

zbMATH Keywords

algebraic logic Martin's axiom omitting types polyadic algebras finitization problem rich semigroups

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Continuum hypothesis and Martin's axiom (03E50)

Cites Work

Title not available (Why is that?)
Cylindric algebras. Part II
Title not available (Why is that?)
Nonfinite axiomatizability results for cylindric and relation algebras
Algebraic Logic, Where Does it Stand Today?
On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
Logic in algebraic form. Three languages and theories
On the equational theory of representable polyadic equality algebras
Complexity of equations valid in algebras of relations. I: Strong non-finitizability
Nonfinitizability of classes of representable cylindric algebras
Nonfinitizability of classes of representable polyadic algebras
Amalgamation and interpolation in normal modal logics
Complete representations in algebraic logic
Martin's axiom, omitting types, and complete representations in algebraic logic
Step by step – Building representations in algebraic logic
On neat reducts of algebras of logic
Non-finite-axiomatizability results in algebraic logic
A completeness theorem for higher order logics
On the search for a finitizable algebraization of first order logic
Title not available (Why is that?)
On universal algebraic constructions of logics
Atom structures of cylindric algebras and relation algebras
Omitting types and the real line
Finite schematizable algebraic logic
Omitting types in incomplete theories
Persistence and atomic generation for varieties of Boolean algebras with operators
Strong representability of fork algebras, a set theoretic foundation
Isomorphic but not lower base-isomorphic cylindric algebras of finite dimension
Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
Weakly representable but not representable relation algebras
Isomorphic but not lower base-isomorphic cylindric set algebras

Cited In (8)

An omitting types theorem in finite schematizable algebraic logic
An Omitting Types Theorem for first order logic with infinitary relation symbols
Neat embeddings, omitting types, and interpolation: an overview
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
Omitting types and AF algebras

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)