The continuum is here presented as a formal space by means of a finitary inductive definition. In this setting a constructive proof of the Heine-Borel covering theorem is given.
CITATION STYLE
Cederquist, J., & Negri, S. (1996). A constructive proof of the heine-borel covering theorem for formal reals. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1158 LNCS, pp. 62–75). https://doi.org/10.1007/3-540-61780-9_62
Mendeley helps you to discover research relevant for your work.