1. An Omitting Types Theorem for first order logic with infinitary relation symbols. Author Ahmed, Tarek Sayed and Samir, Basim Subjects *PAPER, *LOGIC, *MATHEMATICAL formulas, *EXTENSION (Logic), *MATHEMATICAL logic 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) [ABSTRACT FROM AUTHOR] Published 2007 Full Text View/download PDF