Global intuitionistic analysis
type: Item
instance of: scholarly article
title: Global intuitionistic analysis
zbMATH Open document ID: 0615.03048
DOI: 10.1016/0168-0072(86)90075-8
author: Gaisi Takeuti
author: Satoko Titani
published in: Annals of Pure and Applied Logic
publication date: 1986-01-01T00:00:00Z
review text: 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)].
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 58A99
zbMATH DE Number: 3995672
zbMATH Keywords: complex manifold
zbMATH Keywords: global intuitionistic set theory GIZF
zbMATH Keywords: intuitionistic sheaf theory
zbMATH Keywords: sheaf model
zbMATH Keywords: cohomology
zbMATH Keywords: exact sequence
zbMATH Keywords: global intuitionistic analysis GIA
zbMATH Keywords: de Rham and Dolbeault theorem
zbMATH Keywords: intuitionistic topology
zbMATH Keywords: apartness vector space
zbMATH Keywords: vector bundle
zbMATH Keywords: manifold
zbMATH Keywords: infinitesimal deformation
zbMATH Keywords: global analysis
reviewed by: Georg Kreisel
MaRDI profile type: Publication
full work available at URL: 0168-0072(86)90075-8
OpenAlex ID: W2092943726
cites work: Q3050433
cites work: Q3852176
cites work: Concepts of general topology in constructive mathematics and in sheaves
cites work: Q5565313
cites work: Intuitionism. An introduction
cites work: On deformations of complex analytic structures. I
cites work: Q3871177
cites work: Q3037435
cites work: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
cites work: Q3939796
cites work: Globalization of intuitionistic set theory
cites work: Q5651936
description: scientific article; zbMATH DE number 3995672