Global intuitionistic analysis (Q1820781): Difference between revisions

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)].