The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals

DOI10.2307/2272940zbMath0333.02026OpenAlexW4235576671MaRDI QIDQ4100069

Michael J. Beeson

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

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

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