A generalization of the Keisler-Morley theorem to recursively saturated ordered structures

• Autores: Shahram Mohsenipour
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 53, Nº. 3, 2007, págs. 289-294
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • We prove a model theoretic generalization of an extension of the Keisler-Morley theorem for countable recursively saturated models of theories having a K-like model, where K is an inaccessible cardinal.