**
**

**Petrakis, Iosif (2020): Embeddings of Bishop spaces. In: Journal of Logic and Computation, Vol. 30, No. 1: pp. 349-379**

**Full text not available from 'Open Access LMU'.**

## Abstract

We develop the basic constructive theory of embeddings of Bishop spaces in parallel to the basic classical theory of embeddings of topological spaces. The theory of Bishop spaces is a constructive approach to point-function topology and a natural constructive alternative to the classical theory of the rings of continuous functions. Our most significant result is the translation of the classical Urysohn extension theorem within the theory of Bishop spaces. The related theory of the zero sets of a Bishop topology is also included. We work within BISH*, Bishop's informal system of constructive mathematics BISH equipped with inductive definitions with rules of countably many premises.

Item Type: | Journal article |
---|---|

Faculties: | Mathematics, Computer Science and Statistics > Mathematics |

Subjects: | 500 Science > 510 Mathematics |

ISSN: | 0955-792X |

Language: | English |

Item ID: | 88953 |

Date Deposited: | 25. Jan 2022, 09:28 |

Last Modified: | 25. Jan 2022, 09:28 |