22/01/2020, 13:49:12 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Puedes practicar LATEX con el cómodo editor de Latex online
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: WKL0 ¿no define todos los reales?  (Leído 482 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Raúl Aparicio Bustillo
Pleno*
*****

Karma: +0/-3
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 3.067


Ver Perfil
« : 02/04/2011, 04:58:05 am »

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
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!