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 |
id |
RepoKERWA12918 |
---|---|
recordtype |
dspace |
spelling |
RepoKERWA129182017-08-08T18:50:22Z Condiciones generales para la construcción de modelos de ˆb 2 ? LmIND Condiciones generales para la construcción de modelos de ˆb 2 ? LmIND Chinchilla, Eugenio 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. Se dan condiciones generales que resultan suficientes para la existencia de modelosde ˆb2 ? LmIND contenidos en cierto “conjunto reserva”.Palabras clave: aritm´etica d´ebil, modelo no est´andar, clases de complejidad. 2015-05-19T18:45:58Z 2015-05-19T18:45:58Z 2009-02-20 00:00:00 2015-05-19T18:45:58Z info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion http://revistas.ucr.ac.cr/index.php/matematica/article/view/270 http://hdl.handle.net/10669/12918 10.15517/rmta.v13i2.270 es Revista de Matemática: Teoría y Aplicaciones Vol. 13 Núm. 2 2009 111-116 application/pdf |
institution |
Universidad de Costa Rica |
collection |
Repositorio KERWA |
language |
Español |
description |
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. |
format |
Artículo |
author |
Chinchilla, Eugenio |
spellingShingle |
Chinchilla, Eugenio Condiciones generales para la construcción de modelos de ˆb 2 ? LmIND |
author_sort |
Chinchilla, Eugenio |
title |
Condiciones generales para la construcción de modelos de ˆb 2 ? LmIND |
title_short |
Condiciones generales para la construcción de modelos de ˆb 2 ? LmIND |
title_full |
Condiciones generales para la construcción de modelos de ˆb 2 ? LmIND |
title_fullStr |
Condiciones generales para la construcción de modelos de ˆb 2 ? LmIND |
title_full_unstemmed |
Condiciones generales para la construcción de modelos de ˆb 2 ? LmIND |
title_sort |
condiciones generales para la construcción de modelos de ˆb 2 ? lmind |
publishDate |
2015 |
url |
http://revistas.ucr.ac.cr/index.php/matematica/article/view/270 http://hdl.handle.net/10669/12918 |
_version_ |
1684799048133902336 |
score |
11.776181 |