An omitting types theorem for first order logic with infinitary relation symbols

被引：3
|
作者：
Ahmed, Tarek Sayed [1 ]
Samir, Basim
机构：
[1] Cairo Univ, Fac Sci, Dept Math, Giza, Egypt
[2] Assiut Univ, Fac Sci, Dept Math, Assiut, Egypt
来源：
MATHEMATICAL LOGIC QUARTERLY | 2007年 / 53卷 / 06期
关键词：
algebraic logic; cylindric algebras; omitting types;
D O I：
10.1002/malq.200610050
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
In this-paper, an extension of first order logic is introduced. In such logics atomic formulas may have infinite lengths. An Omitting Types Theorem is proved.(C) 2007 WILEY-VCH Verlag GmbH & Co. KGaA. Weinheim.
引用
收藏
页码：564 / 570
页数：7
相关论文
共 50 条
12345