On the finitizability problem in algebraic logic; recent results
Logic
2013-02-07 v1
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.
Keywords
Cite
@article{arxiv.1302.1368,
title = {On the finitizability problem in algebraic logic; recent results},
author = {Tarek Sayed Ahmed},
journal= {arXiv preprint arXiv:1302.1368},
year = {2013}
}