Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics
From MaRDI portal
Publication:3625493
DOI10.1093/jigpal/jzp002zbMath1172.03029OpenAlexW2011180021MaRDI QIDQ3625493
Publication date: 5 May 2009
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzp002
Constructive and recursive analysis (03F60) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30)
Related Items (2)
Connectedness of the continuum in intuitionistic mathematics ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs
This page was built for publication: Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics
