The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals
From MaRDI portal
Publication:4100069
DOI10.2307/2272940zbMath0333.02026MaRDI QIDQ4100069
Publication date: 1976
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272940
03F55: Intuitionistic mathematics
Related Items
Representations versus numberings: On the relationship of two computability notions, Effective inseparability in a topological setting