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

DOI10.2307/2272940zbMath0333.02026MaRDI 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

03F55: Intuitionistic mathematics

Related Items

Representations versus numberings: On the relationship of two computability notions, Effective inseparability in a topological setting