Construccion de *R con la negación del axioma de Cantor

Ponente(s): Elías Sélem ávila

A partir de los axiomas de Hilbert para la geometria (H) se obtiene una construcción de los números reales (R). Sustituyéndonoslos el axioma de Cantor (C), de continuidad (de intervalos encajados) por su negación fuerte (no C) se construye el conjunto *R de los hiperreales. La geometría resultante es no arquimediana, lógicamente equivalente a la euclidiana y a las no Euclidianas. Así mismo las construcciones de R y *R son lógicamente equivalentes.