Morse set theory as a foundation for constructive mathematics

DOI10.1016/j.tcs.2022.06.019OpenAlexW4282964207MaRDI QIDQ2079874

Douglas S. 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)

Cites Work

• Intuitionism. An introduction. 3rd revised ed
• The constructive theory of countable abelian p-groups
• Choice Implies Excluded Middle
• The Continuum Hypothesis Implies Excluded Middle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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