Global intuitionistic analysis

DOI10.1016/0168-0072(86)90075-8zbMath0615.03048OpenAlexW2092943726MaRDI QIDQ1820781

Gaisi Takeuti, Satoko Titani

Publication date: 1986

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(86)90075-8

zbMATH Keywords

manifoldcohomologyvector bundleglobal analysisexact sequencecomplex manifoldinfinitesimal deformationsheaf modelglobal intuitionistic set theory GIZFintuitionistic topologyapartness vector spacede Rham and Dolbeault theoremglobal intuitionistic analysis GIAintuitionistic sheaf theory

Mathematics Subject Classification ID

General theory of differentiable manifolds (58A99) Intuitionistic mathematics (03F55)

Related Items

A natural interpretation of fuzzy sets and fuzzy relations ⋮ Decompositions of finitely generated modules over C(X): sheaf semantics and a decision procedure

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionism. An introduction
• Globalization of intuitionistic set theory
• On deformations of complex analytic structures. I
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• Concepts of general topology in constructive mathematics and in sheaves