An Omitting Types Theorem for first order logic with infinitary relation symbols

Journal article

Peer reviewed

Mathematical logic quarterly, Vol.53(6), pp.564-570

11/2007

Abstract

Algebraic logic

cylindric algebras

omitting types

1 Record Views

Title: An Omitting Types Theorem for first order logic with infinitary relation symbols
Creators - without role: Tarek Sayed Ahmed - E-mail: rutahmed@gmail.com
Basim Samir - Assiut University
Publication Details: Mathematical logic quarterly, Vol.53(6), pp.564-570
Publisher: WILEY-VCH Verlag
Number of pages: 7
Identifiers: 9932097008331
Academic Unit: University Ha'il
Language: English
Resource Type: Journal article