Revista de Matemática: Teoría y Aplicaciones ISSN Impreso: 1409-2433 ISSN electrónico: 2215-3373

OAI: https://revistas.ucr.ac.cr/index.php/matematica/oai
Condiciones generales para la construcción de modelos de Σ̂b2 - LmIND
PDF (Español (España))

Keywords

weak arithmetic
non standard model
complexity classes
aritmética débil
modelo no estándar
clases de complejidad

How to Cite

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

Abstract

We give general conditions that are sufficient to prove existence of models of Σ̂b2 - LmIND inside a special set.

https://doi.org/10.15517/rmta.v13i2.270
PDF (Español (España))

References

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.

Comments

Downloads

Download data is not yet available.