Los reales efectivos de Schanuel

Abstract

En este artículo se presenta y analiza una construcción de los reales debida a S. Schanuel. La construcción tiene virtudes formales, como lo es, el construir el campo de los reales, directamente desde la estructura de grupo abeliano de los enteros sin requerir la construcción previa del campo de los números racionales. Y tiene ventajas computacionales siendo como es una construcción e ciente y que es fácil hacer efectiva. Una versión efectiva de la construcción es presentada y analizada en el artículo.