Global intuitionistic analysis (Q1820781)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Global intuitionistic analysis |
scientific article |
Statements
Global intuitionistic analysis (English)
0 references
1986
0 references
Let \(ZF_ 1\) and GIZF be (formally) intuitionistic set theory, resp. its global version, as developed by the authors [Globalization of intuitionistic set theory, Ann. Pure Appl. Logic 33, 195-211 (1987)]. They translate global analysis into GIZF, modelled on the way in which complex analysis was translated into \(ZF_ 1\) by \textit{C. Rousseau} [Lect. Notes Math. 753, 623-659 (1979; Zbl 0433.32003)].
0 references
complex manifold
0 references
global intuitionistic set theory GIZF
0 references
intuitionistic sheaf theory
0 references
sheaf model
0 references
cohomology
0 references
exact sequence
0 references
global intuitionistic analysis GIA
0 references
de Rham and Dolbeault theorem
0 references
intuitionistic topology
0 references
apartness vector space
0 references
vector bundle
0 references
manifold
0 references
infinitesimal deformation
0 references
global analysis
0 references
