Abstract: A Constructive Proof of the Heine-Borel Covering
Theorem for Formal Reals
Jan Cederquist, Sara Negri
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.
Back to Sara's homepage.