An Omitting Types Theorem for first order logic with infinitary relation symbols
Tarek Sayed Ahmed, Basim Samir · Mathematical logic quarterly · 2007
Abstract 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. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)