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_ 1679202051773431808
score 11.772393