Constructive Equivalents of the Uniform Continuity Theorem
Дата
Авторы
Berger,Josef
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
For the purpose of constructive reverse mathematics, we show the equivalence of the uniform continuity theorem to a series of propositions; this illuminates the relationship between Brouwer's fan theorem and the uniform continuity theorem
Ключевые слова
constructive mathematics , reverse mathematics , uniform continuity