Heyting Valued Set Theory and Sato Hyperfunctions
Hirokazu Nishimura · Publications of the Research Institute for Mathematical Sciences · 1986
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.