The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals. Beeson, M. Journal of Symbolic Logic, 41:28-24, 1976.
bibtex   
@article{beeson1976b,
	author = {Michael Beeson},
	date-added = {2014-11-14 17:08:25 +0000},
	date-modified = {2014-11-14 18:09:41 +0000},
	journal = {Journal of Symbolic Logic},
	keywords = {Logic, Constructive mathematics},
	pages = {28-24},
	title = {The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals},
	volume = {41},
	year = {1976}}

Downloads: 0