Title of article :
An Omitting Types Theorem for Finite Schematizable Algebraic Logic
Author/Authors :
Ahmed، Tarek Sayed نويسنده Department of Mathematics,Department of Mathematics,Cairo University,Cairo,Egypt ,
Issue Information :
ماهنامه با شماره پیاپی سال 2011
Abstract :
We prove an Omitting Types Theorem for the extension of first order logic
studied by Nemeti, Sain and others as a solution to the so-called Finitization
Problem in Algebraic Logic. A new omitting types theorem for first order logic
is obtained.
Keywords :
finitizability problem , , polyadic algebras , omit-
ting types , Algebraic logic
Journal title :
General Mathematics Notes
Journal title :
General Mathematics Notes
