On the Bishop boundary in topological algebras

We characterize the existence of the Bishop boundary in the context of an Urysohn (topological) algebra, by means ofG _δ points. Considering a subset of its spectrum and the restriction of its Gel'fand transform algebra on the previous subset, we realize its Bishop boundary, as the trace of the Bishop boundary of the initial algebra on the spectrum of the restriction algebra. We get a generalization of the latter by considering a continuous algebra morphism. This paper is based on and extends results of the author's Doctoral Thesis, written under the supervision of Professor A. Mallios (Univ. of Athens).