How connected is the intuitionistic continuum?

DOI10.2307/2275631zbMATH Open0895.03026OpenAlexW2037139913MaRDI QIDQ4382464FDOQ4382464

Authors: Dirk van Dalen 

Publication date: 2 September 1998

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275631

Recommendations

• Connectedness of the continuum in intuitionistic mathematics
• Continuity in intuitionism
• Indecomposability of R and R \   in Constructive Reverse Mathematics
• scientific article; zbMATH DE number 1749196

zbMATH Keywords

indecomposabilityintuitionistic continuumintuitionistic dimension theory

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cites Work

• Constructivism in mathematics. An introduction. Volume I

Cited In (5)

• To be or not to be constructive, that is not the question
• Title not available (Why is that?)
• Indecomposability of R and R \   in Constructive Reverse Mathematics
• Connectedness of the continuum in intuitionistic mathematics
• The Kripke schema in metric topology

This page was built for publication: How connected is the intuitionistic continuum?

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