Elements of Intuitionistic Analysis II the Stone‐Weierstrass Theorem and Ascoli's Theorem

DOI10.1002/MALQ.19760220158zbMath0362.02022OpenAlexW2133059557MaRDI QIDQ4135476

H. C. M. De Swart

Publication date: 1976

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19760220158

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Related Items (4)

Constructive notions of equicontinuity ⋮ Spreads or choice sequences? ⋮ Validity and quantification in intuitionism ⋮ Sequences of real functions on [0,1 in constructive reverse mathematics]

This page was built for publication: Elements of Intuitionistic Analysis II the Stone‐Weierstrass Theorem and Ascoli's Theorem