Abstract

Rousseau \[10] 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 Nishimura \[9] in the realm of Sato hyperfunctions and by Takeuti and Titani \[16] 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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call