| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4662369 | Annals of Pure and Applied Logic | 2012 | 10 Pages |
Abstract
⺠Constructive topology based on Bishop's function-space axioms. ⺠Function spaces associated with apartness spaces. ⺠Function-space morphisms and Bishop's notion of B-continuity. ⺠Applying the anti-Specker property to prove B-continuity of morphisms between function spaces.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Douglas S. Bridges,