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.