Search

Showing total 1 results
Start Over Topic algebraic logic Database Academic Search Index
1 results

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