The number of countable models in realizability toposes

• Autores: Nathanael Leedom Ackerman
• Localización: Journal of pure and applied algebra, ISSN 0022-4049, Vol. 216, Nº 8-9, 2012, págs. 1994-2013
• Idioma: inglés
• DOI: 10.1016/j.jpaa.2012.02.037
• Texto completo no disponible (Saber más ...)