Premium
A constructive treatment of Urysohn's Lemma in an apartness space
Author(s) -
Bridges Douglas,
Diener Hannes
Publication year - 2006
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200610006
Subject(s) - lemma (botany) , constructive , context (archaeology) , mathematics , space (punctuation) , constructive proof , calculus (dental) , discrete mathematics , computer science , history , process (computing) , medicine , dentistry , biology , operating system , ecology , poaceae , archaeology
Abstract This paper is dedicated to Prof. Dr. Günter Asser, whose work in founding this journal and maintaining it over many difficult years has been a major contribution to the activities of the mathematical logic community. At first (maybe even at second) sight it appears highly unlikely that Urysohn's Lemma has any significant constructive content. However, working in the context of an apartness space and using functions whose values are a generalisation of the reals, rather than real numbers, enables us to produce a significant constructive version of that lemma. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)