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 条

[31] An omitting types theorem for sheaves over topological spaces
Brunner, Andreas B. M.
Miraglia, Francisco
LOGIC JOURNAL OF THE IGPL, 2004, 12 (06) : 525 - 548
[32] UNIFORM COMPACTNESS THEOREM IN FIRST-ORDER LOGIC
WEAVER, GE
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (06): : A588 - A588
[33] A Lindstrom theorem for intuitionistic first-order logic
Olkhovikov, Grigory
Badia, Guillermo
Zoghifard, Reihane
ANNALS OF PURE AND APPLIED LOGIC, 2023, 174 (10)
[34] OMITTING TYPES THEOREM FOR L(Q) FOR SUCCESSORS OF SINGULARS
GROSSBERG, R
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (01) : 265 - 266
[35] A local normal form theorem for infinitary logic with unary quantifiers
Keisler, HJ
Lotfallah, WB
MATHEMATICAL LOGIC QUARTERLY, 2005, 51 (02) : 137 - 144
[36] From finitary to infinitary second-order logic
Weaver, G
Penev, I
MATHEMATICAL LOGIC QUARTERLY, 2005, 51 (05) : 499 - 506
[37] REPETITION-FREE AND INFINITARY ANALYTIC CALCULI FOR FIRST-ORDER RATIONAL PAVELKA LOGIC
Gerasimov, A. S.
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2020, 17 : 1869 - 1899
[38] A COMPLETENESS THEOREM OF FIRST-ORDER TEMPORAL LOGIC WITH EQUALITY
唐同诰
ScienceinChina,SerA., 1985, Ser.A.1985 (05) : 532 - 540
[39] First-Order Logic Formalisation of Arrow's Theorem
Grandi, Umberto
Endriss, Ulle
LOGIC, RATIONALITY, AND INTERACTION, PROCEEDINGS, 2009, 5834 : 133 - 146
[40] A COMPLETENESS THEOREM OF FIRST-ORDER TEMPORAL LOGIC WITH EQUALITY
唐同诰
Science China Mathematics, 1985, (05) : 532 - 540

← 1 2 3 4 5 →