scientific article; zbMATH DE number 4177052

MaRDI QIDQ3201046zbMATH OpenFDO

Authors Douglas Bridges

Publication date 1987

zbMATH Keywords

constructive version of Morse's theory of sets

Mathematics Subject Classification ID

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

Recommendations

• Constructive set theory with operations
• A minimalist two-level foundation for constructive mathematics
• Constructive Mathematics in Theory and Programming Practice
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
• On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions

Cited in

(8)

• Constructive mathematics: a foundation for computable analysis
• Apartness spaces as a framework for constructive topology
• Morse set theory as a foundation for constructive mathematics
• The intermediate value theorem in constructive mathematics without choice
• Constructing the minimal period of homomorphisms into \(\mathbb R^n\)
• Kelley–Morse set theory does not prove the class Fodor principle
• A constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference
• A.P. Morse’s Set Theory and Analysis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3201046)