Logo Logo
Switch Language to German
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'.


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.