TY - JOUR AU - Loeb, Iris IS - 2 JA - Logic Journal of the IGPL PB - Oxford University Press PY - 2009 TI - Indecomposability of negative dense subsets of ℝ in Constructive Reverse Mathematics VL - 17 ER -