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. |
---|