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
View/ Open
Date
2009-02-20Author
Chinchilla, Eugenio
Metadata
Show full item recordAbstract
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.