Heyting valued set theory and fibre bundles

DOI10.2977/prims/1195175197zbMath0654.03046OpenAlexW1980048809MaRDI QIDQ1108267

Hirokazu Nishimura

Publication date: 1988

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

zbMATH Keywords

Stokes' theoremfibre bundlesHeyting valued set theoryintegration on internalized manifoldsinternal-external interconnections

Mathematics Subject Classification ID

Topoi (18B25) Fiber bundles in algebraic topology (55R10) Intuitionistic mathematics (03F55) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (1)

Heyting valued considerations on some fundamental existence theorems in modern analysis

This page was built for publication: Heyting valued set theory and fibre bundles