Autor Tema: WKL0 ¿no define todos los reales?

0 Usuarios y 1 Visitante están viendo este tema.

02 Abril, 2011, 09:58 am
Leído 539 veces

Raúl Aparicio Bustillo

  • Matemático
  • Mensajes: 3,105
  • Karma: +0/-3
  • Sexo: Masculino
Hola
Si en WKL0 se pueden definir los reales como sucesiones de Cauchy, ¿por qué no se puede demostrar en él la completitud de los reales, y hay que recurrir a ACA0 para demostrar dicha completitud (el axioma del supremo)?

Es porque aunque en WKL0 se definen algunos reales no computables, por el esquema de compresión no se llegan a definir todos los reales, ¿es así?. ¿Y con ACA0 pasa lo mismo o ahi sí se podrian construir todos los reales?

Que viene a ser lo mismo, ¿cual es el subsistema de Z2 (aritmetica de segundo orden)más debil que permita la existencia de todos los reales

Saludos