Some connections between Heyting valued set theory and algebraic geometry. Prolegomena to intuitionistic algebraic geometry

DOI10.2977/PRIMS/1195176443zbMath0662.03048OpenAlexW2057147820MaRDI QIDQ1113898

Hirokazu Nishimura

Publication date: 1987

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2977/prims/1195176443

zbMATH Keywords

algebraic geometrycomplete Heyting algebra of radical idealsHeyting valued set theoryscheme theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55) Foundations of algebraic geometry (14A99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rings, fields, and spectra
• Heyting valued set theory and Sato hyperfunctions

This page was built for publication: Some connections between Heyting valued set theory and algebraic geometry. Prolegomena to intuitionistic algebraic geometry