Global intuitionistic analysis (Q1820781): Difference between revisions
From MaRDI portal
m rollbackEdits.php mass rollback Tag: Rollback |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/0168-0072(86)90075-8 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2092943726 / rank | |||
Normal rank | |||
Revision as of 17:43, 21 March 2024
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
