Some connections between Heyting valued set theory and algebraic geometry. Prolegomena to intuitionistic algebraic geometry
\textit{C. Rosseau} [Lect. Notes Math. 753, 623-659 (1979; Zbl 0433.32003)] has shown that classical or standard function theory of n variables is no other than intuitionistic function theory of one variable over \(C^{n- 1}\). Similar works have been done by the author [Publ. Res. Inst. Math. Sci. 22, 801-811 (1986; Zbl 0614.03058)] in the realm of Sato hyperfunctions and by \textit{G. Takeuti} and \textit{S. Titani} [Ann. Pure Appl. Logic 31, 307-339 (1986; Zbl 0615.03048)] in the realm of complex manifolds. The main purpose of this paper is to pursue similar results in the arena of algebraic geometry. Since we would like to do so in an intuitionistically valid manner, we reconstruct some rudiments of algebraic geometry, using the complete Heyting algebra of radical ideals in place of the space of prime ideals with Zariski topology as the starting point of our scheme theory.
complete Heyting algebra of radical ideals
scientific article; zbMATH DE number 4081549