Condiciones generales para la construcción de modelos de Σ̂b2 - LmIND

 

שמור ב:
מידע ביבליוגרפי
מחבר: Chinchilla, Eugenio
פורמט: artículo original
סטטוס:Versión publicada
Fecha de Publicación:2006
תיאור:We give general conditions that are sufficient to prove existence of models of Σ̂b2 - LmIND inside a special set.
País:Portal de Revistas UCR
מוסד:Universidad de Costa Rica
Repositorio:Portal de Revistas UCR
שפה:Español
OAI Identifier:oai:archivo.portal.ucr.ac.cr:article/270
גישה מקוונת:https://archivo.revistas.ucr.ac.cr/index.php/matematica/article/view/270
מילת מפתח:weak arithmetic
non standard model
complexity classes
aritmética débil
modelo no estándar
clases de complejidad

פריטים דומים