Indecomposability of R and R \ in Constructive Reverse Mathematics
From MaRDI portal
Publication:3508163
DOI10.1093/jigpal/jzn006zbMath1146.03040MaRDI 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
indecomposability; continuity principle; constructive reverse mathematics; disjunctive version of Markov's principle
03F60: Constructive and recursive analysis
03B30: Foundations of classical theories (including reverse mathematics)
Related Items
Connectedness of the continuum in intuitionistic mathematics, Kronecker's density theorem and irrational numbers in constructive reverse mathematics