Indecomposability of R and R \ in Constructive Reverse Mathematics
From MaRDI portal
Publication:3508163
DOI10.1093/JIGPAL/JZN006zbMath1146.03040OpenAlexW2045946828MaRDI QIDQ3508163
Publication date: 27 June 2008
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzn006
indecomposabilitycontinuity principleconstructive reverse mathematicsdisjunctive version of Markov's principle
Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30)
Related Items (2)
Connectedness of the continuum in intuitionistic mathematics ⋮ Kronecker's density theorem and irrational numbers in constructive reverse mathematics
This page was built for publication: Indecomposability of R and R \ in Constructive Reverse Mathematics
