New perspectives in algebraic logic, from neat embeddings to Erdos graphs
Ahmed, T. (2011). New perspectives in algebraic logic, from neat embeddings to Erdos graphs. EKB Journal Management System, 19(1), 4-16. doi: 10.1016/j.joems.2011.08.002
Tarek Sayed Ahmed. "New perspectives in algebraic logic, from neat embeddings to Erdos graphs". EKB Journal Management System, 19, 1, 2011, 4-16. doi: 10.1016/j.joems.2011.08.002
Ahmed, T. (2011). 'New perspectives in algebraic logic, from neat embeddings to Erdos graphs', EKB Journal Management System, 19(1), pp. 4-16. doi: 10.1016/j.joems.2011.08.002
Ahmed, T. New perspectives in algebraic logic, from neat embeddings to Erdos graphs. EKB Journal Management System, 2011; 19(1): 4-16. doi: 10.1016/j.joems.2011.08.002

New perspectives in algebraic logic, from neat embeddings to Erdos graphs

Journal of the Egyptian Mathematical Society
Volume 19, Issue 1, June 2011, Page 4-16  XML PDF (490.28 K)
DOI: 10.1016/j.joems.2011.08.002
View on SCiNiTO View on SCiNiTO
Author
Tarek Sayed Ahmed email
Maths. Dept., Faculty of Science, Cairo University, Giza, Egypt
Abstract
The notion of neat reducts is an old venerable notion in cylindric algebra theory invented by Henkin. This notion is regaining momentum. In this paper we explain why. This notion is discussed in connection to the algebraic notions of representability and complete representability, and the corresponding metalogical ones of completeness and omitting types, particularly for finite variable fragments. Also it is shown how such a notion has found intersection with non-trivial topics in model theory (like finite forcing) and set theory (forcing).
Statistics
Article View: 114
PDF Download: 357