1 research outputs found
Measurable Functions and Topolgical Algebra
In this paper we show that if is a measurable space and if
is a topological model of a Lawvere theory equipped with
the Borel -algebra on , then the set of
-measurable functions from to , ,
is a set-theoretic model of . As a corollary we give short proofs
of the facts that the set of real-valued measurable functions on a measurable
space is a ring and the set of complex-valued measurable functions from
to is a ring.Comment: 11 Page