On the finitizability problem in algebraic logic; recent results

2013/02/06 by Tarek Sayed Ahmed, Ahmed, Tarek Sayed · 7 citations
Mathematics · #FOS: Mathematics #Logic (math.LO) #math.LO

paper · pdf · doi:10.48550/arxiv.1302.1368

arxiv created 2013/02/06 · arxiv updated 2013/02/07

Abstract

This is a survey article in algebraic logic, where we take a magical tour from old concepts due to Henkin, Monk and Tarski like neat embeddings, to modern views and perspectives, culminating in the use of Erdos graphs in settling important questions in algebraic logic.

Cited by

• Neat atom structures
• On some open problems in Algebraic logic
• Some metalogical properties for infinitary predicate topological logic
• The elementary closure of the class Nr_nCA_m for m≥ n+1 is not finitely axiomatizable, futhermore for any finite k≥ 1, there is A∈ Nr_ωCA_\omeg+kthat is not SNr_ωCA_ω+k+1
• For finite n≥ 3, and k≥ 4, the variety SNr_n\CA_n+k is not atom canonical
• On completions, neat embeddings and omittings types, yet again
• Strongly representable atom structures and neat embeddings

Related

• On some open problems in Algebraic logic
• Erdős and Arithmetic Progressions
• Sheaf Representations and Duality in Logic
• Aspects of Predicative Algebraic Set Theory I: Exact Completion
• Logic and operator algebras