Condiciones generales para la construcción de modelos de ˆb 2 ? LmIND

Abstract

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.