Condiciones generales para la construcción de modelos de ˆb 2 ? LmIND
Condiciones generales para la construcción de modelos de ˆb 2 ? LmIND
artículo original
Fecha
2009-02-20Autor
Chinchilla, Eugenio
Metadatos
Mostrar el registro completo del ítemResumen
We give general conditions that are sufficient to prove existence of models of ˆb2 ? LmIND inside a special set.Keywords: weak arithmetic, non standard model, complexity classes. Se dan condiciones generales que resultan suficientes para la existencia de modelosde ˆb2 ? LmIND contenidos en cierto “conjunto reserva”.Palabras clave: aritm´etica d´ebil, modelo no est´andar, clases de complejidad.