Browsing Revista de Matemáticas 13(2) by Author "Chinchilla, Eugenio"

Now showing items 1-1 of 1

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

Chinchilla, Eugenio (2009-02-20)

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.