A Galois correspondence for countable short recursively saturated models of PA

• Autores: Erez Shochat
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 56, Nº. 3, 2010, págs. 228-238
• Idioma: inglés
• Texto completo no disponible (Saber más ...)