Condiciones generales para la construcción de modelos de ˆb 2 ? LmIND

• Chinchilla, Eugenio ^[1]
  1. [1] Universidad de Costa Rica

     Universidad de Costa Rica

     Hospital, Costa Rica

     
• Localización: Revista de Matemática: Teoría y Aplicaciones, ISSN 2215-3373, ISSN-e 2215-3373, Vol. 13, Nº. 2, 2006, págs. 111-116
• Idioma: español
• DOI: 10.15517/rmta.v13i2.270
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    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.

  • English

    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.

• Referencias bibliográficas
  • Bloch, S. (1997) “On parallel hierarchies and Rik”, Ann. Pure Appl. Logic 89(2–3): 231–273.
  • Buss, S. (1986) Bounded Arithmetic. Bibliopolis, Naples.
  • Chinchilla, E. (1998) “A model theoretic proof of a subexponential time witnessing theorem”, Comptes Rendus de l’Académie de Sciences de...
  • Hájek, P.; Pudlák, P. (1993) Metamathematics Of First-Order Arithmetic. Springer-Verlag, Berlin.
  • Stockmeyer, L. (1976) “The polynomial-time hierarchy”, Theoretical Computer Science 3 (1): 1–22.