Fibrewise exponential laws in a quasitopos
We first prove that given any analytic filter ℱ on ω the set of all functions f on which can be represented as the pointwise limit relative to ℱ of some sequence of continuous functions (), is exactly the set of all Borel functions of class ξ for some countable ordinal ξ that we call the rank of ℱ. We discuss several structural properties of this rank. For example, we prove that any free Π⁰₄ filter is of rank 1.
The theory of generalized topologies was introduced by Á. Császár (2002). In the literature, some authors have introduced and studied generalized topologies and some generalized topologies via generalized topological spaces due to Á. Császár. Also, the notions of mixed constructions based on two generalized topologies were introduced and investigated by Á. Császár (2009). The main aim of this paper is to introduce and study further new generalized topologies called via mixed constructions based...