Bridges, Douglas S. 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 Cited in 1 Document MSC: 03F65 Other constructive mathematics 03E70 Nonclassical and second-order set theories Keywords:constructive version of Morse’s theory of sets Citations:Zbl 0695.00003; Zbl 0179.015; Zbl 0183.015; Zbl 0656.03042 PDFBibTeX XML