JournalsprimsVol. 22, No. 4pp. 801–811

Heyting Valued Set Theory and Sato Hyperfunctions

  • Hirokazu Nishimura

    Kyoto University, Japan
Heyting Valued Set Theory and Sato Hyperfunctions cover
Download PDF

Abstract

Following the lines of Takeuti and Titani [16] as well as Rousseau [9], this paper shows that Sato hyperfunctions with holomorphic parameters can be viewed as those without parameters in an appropriately chosen intuitionistic universe, where we establish, as an application of this idea, de Rham and Dolbeault theorems with hyperfunctional coefficients.

Cite this article

Hirokazu Nishimura, Heyting Valued Set Theory and Sato Hyperfunctions. Publ. Res. Inst. Math. Sci. 22 (1986), no. 4, pp. 801–811

DOI 10.2977/PRIMS/1195177631