Heyting valued set theory and Sato hyperfunctions

DOI10.2977/prims/1195177631zbMath0614.03058OpenAlexW2058295764MaRDI QIDQ1820158

Hirokazu Nishimura

Publication date: 1986

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/1195177631

zbMATH Keywords

de Rham theoremintuitionistic set theoryDolbeault theoremSato hyperfunctions with holomorphic parameters

Mathematics Subject Classification ID

Complex manifolds (32Q99) Holomorphic functions of several complex variables (32A10) Intuitionistic mathematics (03F55)

Related Items (1)

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

Cites Work

• On a generalization of the concept of functions, II
• Concepts of general topology in constructive mathematics and in sheaves
• Concepts of general topology in constructive mathematics and in sheaves, II
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Heyting valued set theory and Sato hyperfunctions