Morse set theory as a foundation for constructive mathematics

DOI10.1016/J.TCS.2022.06.019MaRDI QIDQ2079874zbMATH OpenOpenAlexFDO

Authors Douglas Bridges

Publication date 7 October 2022

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2022.06.019

zbMATH Keywords

Bishop's constructive mathematicsconstructive Morse set theory

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Publication:3201046
• A minimalist two-level foundation for constructive mathematics
• Constructive set theory with operations
• Constructive Mathematics in Theory and Programming Practice
• Publication:3478405

Cites work

• Choice Implies Excluded Middle
• scientific article; zbMATH DE number 3427309 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 1217494 (Why is no real title available?)
• scientific article; zbMATH DE number 3286022 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Intuitionism. An introduction. 3rd revised ed
• The constructive theory of countable abelian p-groups
• The Continuum Hypothesis Implies Excluded Middle

Cited in

(3)

• A.P. Morse’s Set Theory and Analysis
• Sufficient convexity and best approximation
• Constructive aspects of Riemann's permutation theorem for series

This page was built for publication: Morse set theory as a foundation for constructive mathematics

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