Condiciones generales para la construcción de modelos de ˆb 2 ? LmIND
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.
| Main Author: | Chinchilla, Eugenio |
|---|---|
| Format: | Artículo |
| Language: | Español |
| Published: |
2015
|
| Online Access: |
http://revistas.ucr.ac.cr/index.php/matematica/article/view/270 http://hdl.handle.net/10669/12918 |
| Summary: |
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. |
|---|