Decomposability of ℝ and dense negative subsets of ℝ in constructive reverse mathematics
Year: 2025
Type: article
Source: Logic Journal of IGPL
Authors: Mohammad Ardeshir, Mohammad Tahmasbizadeh
Institution: Sharif University of Technology
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W7134044955