A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals

Stefano Berardi (Editor), J.G. Cederquist, Mario Coppo (Editor), Sara Negri

    Research output: Contribution to conferencePaper

    17 Citations (Scopus)
    73 Downloads (Pure)

    Abstract

    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.
    Original languageUndefined
    Pages62-75
    Number of pages14
    DOIs
    Publication statusPublished - Jun 1995

    Keywords

    • EWI-1150
    • IR-56272

    Cite this

    Berardi, S. (Ed.), Cederquist, J. G., Coppo, M. (Ed.), & Negri, S. (1995). A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals. 62-75. https://doi.org/10.1007/3-540-61780-9_62