Representations of spaces are the key device in Type-2 Theory of Effectivity (TTE) for defining computability on non-countable spaces. Almost-compact representations permit a simple measurement of the time complexity of functions using discrete parameters, namely the desired output precision together with “size” information about the argument, rather than continuous ones. We present some intere...

We apply elementary substructures to characterize the space Cp(X) for Corsoncompact spaces. As a result, we prove that a compact space X is Corson-compact, if Cp(X) can be represented as a continuous image of a closed subspace of (Lτ ) × Z, where Z is compact and Lτ denotes the canonical Lindelöf space of cardinality τ with one non-isolated point. This answers a question of Archangelskij [2].

We investigate properties of the class of compact spaces on which every regular Borel measure is separable. This class will be referred to as M S. We discuss some closure properties of M S, and show that some simply defined compact spaces, such as compact ordered spaces or compact scattered spaces, are in M S. Most of the basic theory for regular measures is true just in ZF C. On the other hand...

in this paper we study shadowing property for sequences of mappings on compact metric spaces, i.e. nonautonomous discrete dynamical systems. we investigate the relation of  weak contractions with shadowing and h-shadowing property.

It is well known that no infinite homogeneous space is both compact and extremally disconnected. (Since there are infinite compact homogeneous spaces and infinite extremally disconnected homogeneous spaces, it is the combination of compactness and extremal disconnectedness that brings about this result.) The following question then arises naturally: How “close to compact” can a homogeneous, ext...

In the theory of generalized metric spaces, the notion of knetworks has played an important role. Every locally separable metric space or CW-complex, more generally, every space dominated by locally separable metric spaces has a star-countable k-network. Every LaSnev space, as well as, every space dominated by LaSnev spaces has a a-compact-finite knetwork. We recall that every space has a compa...

Various soft topologies are being introduced on a given function space soft topological spaces. In this paper, soft compact-open topology is defined in functional spaces of soft topological spaces. Further, these functional spaces are studied and interrelations between various functional spaces with soft compact-open topology are established.

This article is a fundamental study in computable analysis. In the framework of Type-2 effectivity, TTE, we investigate computability aspects on finite and infinite products of effective topological spaces. For obtaining uniform results we introduce natural multi-representations of the class of all effective topological spaces, of their points, of their subsets and of their compact subsets. We ...