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

• Autores: Tarek Sayed-Ahmed, Basim Samir
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 53, Nº. 6, 2007, págs. 564-570
• Idioma: inglés
• Texto completo no disponible (Saber más ...)