Existencia de teorías en fragmentos de Lw1,w con dos modelos enumerables; prueba de Morley y ejemplos explícitos (2004)
Matemático