Buscar
Mostrando ítems 1-1 de 1
Condiciones generales para la construcción de modelos de ˆb 2 ? LmIND
Condiciones generales para la construcción de modelos de ˆb 2 ? LmIND
(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.