What is a Real Number?
From MaRDI portal
Publication:5668447
DOI10.2307/2316264zbMath0255.02030OpenAlexW4234471464MaRDI QIDQ5668447
Publication date: 1972
Published in: The American Mathematical Monthly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2316264
Foundations: limits and generalizations, elementary topology of the line (26A03) Intuitionistic mathematics (03F55) Proof theory and constructive mathematics (03F99)
Related Items
Bibliography of John Myhill ⋮ Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I