The anti-Specker property, a Heine–Borel property, and uniform continuity |
| |
Authors: | Josef Berger Douglas Bridges |
| |
Institution: | (1) School of Information Science, Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan;(2) Department of Mathematics and Statistics, University of Canterbury, Private Bag 4800, Christchurch, New Zealand |
| |
Abstract: | Working within Bishop’s constructive framework, we examine the connection between a weak version of the Heine–Borel property,
a property antithetical to that in Specker’s theorem in recursive analysis, and the uniform continuity theorem for integer-valued
functions. The paper is a contribution to the ongoing programme of constructive reverse mathematics. |
| |
Keywords: | 03F65 |
本文献已被 SpringerLink 等数据库收录! |
|