On the strength of Ramsey's theorem without S1-induction

• Autores: Keita Yokoyama
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 59, Nº. 1-2, 2013, págs. 108-111
• Idioma: inglés
• Texto completo no disponible (Saber más ...)