Listar Revista de Matemáticas 13(2) por autor "Chinchilla, Eugenio"
Mostrando ítems 1-1 de 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.