×

A constructive Morse theory of sets. (English) Zbl 0715.03027

Mathematical logic and its applications, Proc. Adv. Int. Summer Sch. Conf., Druzhba/Bulg. 1986, 61-79 (1987).
[For the entire collection see Zbl 0695.00003.]
A constructive version of Morse’s theory of sets [A. P. Morse, A theory of sets (1965; Zbl 0179.015)] is given in order to provide a foundational system for constructive mathematics, in the sense of Errett Bishop and others [see, for example, E. Bishop, Foundations of constructive analysis (1967; Zbl 0183.015), or E. Bishop and D. Bridges, Constructive analysis (1985; Zbl 0656.03042)].
Reviewer: P.L.Ferrari

MSC:

03F65 Other constructive mathematics
03E70 Nonclassical and second-order set theories