Keywords
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
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.
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.
Downloads
Download data is not yet available.