Maths. Dept., Faculty of Science, Cairo University, Giza, Egypt
10.1016/j.joems.2011.08.002
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).
Ahmed, T. (2011). New perspectives in algebraic logic, from neat embeddings to Erdos graphs. Journal of the Egyptian Mathematical Society, 19(1), 4-16. doi: 10.1016/j.joems.2011.08.002
MLA
Tarek Sayed Ahmed. "New perspectives in algebraic logic, from neat embeddings to Erdos graphs". Journal of the Egyptian Mathematical Society, 19, 1, 2011, 4-16. doi: 10.1016/j.joems.2011.08.002
HARVARD
Ahmed, T. (2011). 'New perspectives in algebraic logic, from neat embeddings to Erdos graphs', Journal of the Egyptian Mathematical Society, 19(1), pp. 4-16. doi: 10.1016/j.joems.2011.08.002
VANCOUVER
Ahmed, T. New perspectives in algebraic logic, from neat embeddings to Erdos graphs. Journal of the Egyptian Mathematical Society, 2011; 19(1): 4-16. doi: 10.1016/j.joems.2011.08.002
)
