Palabras clave
weak arithmetic
non standard model
complexity classes
aritmética débil
modelo no estándar
clases de complejidad
non standard model
complexity classes
aritmética débil
modelo no estándar
clases de complejidad
Cómo citar
Chinchilla, E. (2006). Condiciones generales para la construcción de modelos de Σ̂b2 - LmIND. Revista De Matemática: Teoría Y Aplicaciones, 13(2), 111–116. https://doi.org/10.15517/rmta.v13i2.270
Resumen
Se dan condiciones generales que resultan suficientes para la existencia de modelos Σ̂b2 - LmIND contenidos en cierto “conjunto reserva”.
Citas
Bloch, S. (1997) “On parallel hierarchies and Ri k”, 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 Paris Sér. I Math. 326 (8): 913–917.
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.
Comentarios
Descargas
Los datos de descargas todavía no están disponibles.