Publication:4521915
From MaRDI portal
zbMath0980.46058MaRDI QIDQ4521915
Publication date: 21 December 2000
46J20: Ideals, maximal ideals, boundaries
46S30: Constructive functional analysis
03F55: Intuitionistic mathematics
Related Items