Heyting Valued Set Theory and Fibre Bundles

  • Hirokazu Nishimura

    Kyoto University, Japan


Takeuti and Titani [15] have demonstrated that, given a manifold with topology , the internal notion of an apartness vector space in and the external notion of a vector bundle over are no more than two representations of the same entity. The principal objective of this paper is, first of all, to internalize fibre bundles on the lines of Takeuti and Titani [15], and then to establish various internal-external interconnections around this. For example, we show that the external notion of integration over the fibre corresponds to the usual integration on internalized manifolds within . The paper attains its climax as we discuss the internal and external aspects of an internalized version of celebrated Stokes theorem.

Cite this article

Hirokazu Nishimura, Heyting Valued Set Theory and Fibre Bundles. Publ. Res. Inst. Math. Sci. 24 (1988), no. 2, pp. 225–247

DOI 10.2977/PRIMS/1195175197