Decomposability of ℝ and dense negative subsets of ℝ in constructive reverse mathematics. - Mohammad Ardeshir; Mohammad Tahmasbizadeh (Log. J. IGPL, 2026)