Heyting valued considerations on some fundamental existence theorems in modern analysis

DOI10.2977/prims/1195174869zbMath0664.03036OpenAlexW2042766146MaRDI QIDQ1115432

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

zbMATH Keywords

implicit function theoreminverse function theoremHeyting valued set theoryCauchy's local existence theorem for ordinary differential equations

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Heyting valued set theory and fibre bundles
• Concepts of general topology in constructive mathematics and in sheaves
• Concepts of general topology in constructive mathematics and in sheaves, II

This page was built for publication: Heyting valued considerations on some fundamental existence theorems in modern analysis