Global intuitionistic analysis
From MaRDI portal
Publication:1820781
DOI10.1016/0168-0072(86)90075-8zbMath0615.03048OpenAlexW2092943726MaRDI QIDQ1820781
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
manifoldcohomologyvector bundleglobal analysisexact sequencecomplex manifoldinfinitesimal deformationsheaf modelglobal intuitionistic set theory GIZFintuitionistic topologyapartness vector spacede Rham and Dolbeault theoremglobal intuitionistic analysis GIAintuitionistic sheaf theory
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