Translator Disclaimer
December 2005 Algebraic logic, where does it stand today?
Tarek Sayed Ahmed
Bull. Symbolic Logic 11(4): 465-516 (December 2005). DOI: 10.2178/bsl/1130335206


This is a survey article on algebraic logic. It gives a historical background leading up to a modern perspective. Central problems in algebraic logic (like the representation problem) are discussed in connection to other branches of logic, like modal logic, proof theory, model-theoretic forcing, finite combinatorics, and Gödel’s incompleteness results. We focus on cylindric algebras. Relation algebras and polyadic algebras are mostly covered only insofar as they relate to cylindric algebras, and even there we have not told the whole story. We relate the algebraic notion of neat embeddings (a notion special to cylindric algebras) to the metalogical ones of provability, interpolation and omitting types in variants of first logic. Another novelty that occurs here is relating the algebraic notion of atom-canonicity for a class of boolean algebras with operators to the metalogical one of omitting types for the corresponding logic. A hitherto unpublished application of algebraic logic to omitting types of first order logic is given. Proofs are included when they serve to illustrate certain concepts. Several open problems are posed. We have tried as much as possible to avoid exploring territory already explored in the survey articles of Monk [93] and Németi [97] in the subject.


Download Citation

Tarek Sayed Ahmed. "Algebraic logic, where does it stand today?." Bull. Symbolic Logic 11 (4) 465 - 516, December 2005.


Published: December 2005
First available in Project Euclid: 26 October 2005

zbMATH: 1111.03053
MathSciNet: MR2198710
Digital Object Identifier: 10.2178/bsl/1130335206

Rights: Copyright © 2005 Association for Symbolic Logic


This article is only available to subscribers.
It is not available for individual sale.

Vol.11 • No. 4 • December 2005
Back to Top