The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals
From MaRDI portal
Publication:4100069
DOI10.2307/2272940zbMath0333.02026OpenAlexW4235576671MaRDI 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
Related Items (3)
Effective inseparability in a topological setting ⋮ Unnamed Item ⋮ Representations versus numberings: On the relationship of two computability notions
This page was built for publication: The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals
