in this paper, the concept of countably near ps-compactness inl-topological spaces is introduced, where l is a completely distributive latticewith an order-reversing involution. countably near ps-compactness is definedfor arbitrary l-subsets and some of its fundamental properties are studied.

We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion S4 ⊕ S4. We axiomatize the modal logic of products of topological spaces with horizontal, vertical, and standard product topo...

Two topological spaces X and Y are said to be l-equivalent if there is a linear homeomorphism between Cp(X) and Cp(Y ), the spaces of continuous functions on X and Y endowed with the pointwise convergence topology. We prove a necessary condition on a topological space to be lequivalent to the n-dimensional cube. This, in particular, combined with a recent result of R. Górak, characterizes the t...

Set constraints are inclusions between expressions denoting sets of ground terms over a finite ranked alphabet Σ. Rational spaces are topological spaces obtained as spaces of runs of topological Σhypergraphs. They were introduced by Kozen in [Koz95], where the topological structure of the spaces of solutions to systems of set constraints was given in terms of rational spaces. In this paper we c...

The purpose of this paper is to construct a weak hyper semi-quantale as a generalization of the concept of semi-quantale and used it as an appropriate hyperlattice-theoretic basis to formulate new lattice-valued topological theories. Based on such weak hyper semi-quantale, we aim to construct the notion of a weak hypervalued-topology as a generalized form of the so-called lattice-valued t...

Test spaces (or manuals) provide a simple, elegant and very general mathematical framework for the study of probability theory – classical, quantum and otherwise. In many particular cases of interest, test spaces carry significant topological structure. This paper inaugurates a general study of topological test spaces. Among other results, we show that any topological test space with a compact ...

Let A be a partial *-algebra endowed with a topology that makes it into a locally convex topological vector space AA]. Then A is called a topological partial *-algebra if it satisses a number of conditions, which all amount to require that the topology ts with the multiplier structure of A. Besides the obvious cases of topological quasi *-algebras and CQ*-algebras, we examine several classes of...

The present paper investigates approximation spaces in the context of topological structures which axiomatise the notion of nearness. Starting with the framework of information quanta which distinguishes two levels of information structures, namely property systems (the first level) and information quantum relational systems (the second level), we shall introduce the notion of Pawlak’s property...

In this note we study some topological properties of bounded sets and Bourbaki-bounded sets. Also we introduce two types of Bourbaki-bounded homomorphisms on topological groups  including, n$-$Bourbaki-bounded homomorphisms and$hspace{1mm}$ B$-$Bourbaki-bounded homomorphisms. We compare them to each other and with the class of continuous homomorphisms. So, two topologies are presented on them a...

The present paper studies almost fixed point property for digital spaces whose structures are induced by Marcus-Wyse (M-, for brevity) topology. In this paper we mainly deal with spaces X which are connected M-topological spaces with M-adjacency (MA-spaces or M-topological graphs for short) whose cardinalities are greater than 1. Let MAC be a category whose objects, denoted by Ob(MAC), are MA-s...