Publication:4941995
From MaRDI portal
zbMath0951.03060MaRDI QIDQ4941995
Publication date: 17 December 2000
weak continuity; real numbers; intuitionistic mathematics; intuitionistic continuum; double complement
03F55: Intuitionistic mathematics
Related Items
Projective sets, intuitionistically, Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative, Intuitionism: an inspiration?, Two simple sets that are not positively Borel, Equality and equivalence, intuitionistically