Constructive decidability of classical continuity Mart´ın H. Escard´o Version of January 9, 2013 Abstract We show that the following instance of the principle of excluded middle - Topology of uniform convergence - Document - PDFSEARCH.IO

First Page	Meta Content
	Constructive decidability of classical continuity Mart´ın H. Escard´o Version of January 9, 2013 Abstract We show that the following instance of the principle of excluded middle Add to Reading List Document Date: 2013-01-09 04:21:20 Open Document File Size: 240,13 KB Share Result on Facebook City New York / / Company Cambridge University Press / McGraw-Hill Book Co. / / Event Person Communication and Meetings / / Organization Cambridge University / / Person Principle / Chuangjie Xu / Paulo Oliva / Hannes Diener / / Position MP / Bishop / / ProvinceOrState New York / / TVStation KLST / / SocialTag Calculus Lipschitz maps Continuous function Uniform continuity Modulus of continuity Metric space Constructive analysis Ordinal number Uniform convergence Mathematical analysis

Constructive decidability of classical continuity Mart´ın H. Escard´o Version of January 9, 2013 Abstract We show that the following instance of the principle of excluded middleAdd to Reading List