Related papers: On $a$-locally closed sets
The purpose of this contribution is to give a coherent account of a particular narrative which links locales, geometric theories, sheaf semantics and constructive commutative algebra. We are hoping to convey a firm grasp of three ideas: (1)…
Local Convertibility refers to the possibility of transforming a given state into a target one, just by means of LOCC with respect to a given bipartition of the system and it is possible if and only if all the Renyi-entropies of the initial…
This paper deals with a new notion called fuzzy $\alpha$-cut and its properties. A notion called localic frame is also introduced. Algebraic structures arising out of the family of fuzzy $\alpha$-cuts have been investigated. It will be seen…
We present a generalization of the well known Next-Closure algorithm working on semilattices. We prove the correctness of the algorithm and apply it on the computation of the intents of a formal context.
In this article one builds a class of recursive sets, one establishes properties of these sets, and one proposes applications.
In this article the idea of random variables over the set theoretic universe is investigated. We explore what it can mean for a random set to have a specific probability of belonging to an antecedently given class of sets.
A locally coherent exact category is a finitely accessible additive category endowed with an exact structure in which the admissible short exact sequences are the directed colimits of admissible short exact sequences of finitely presentable…
The aim of this paper is to continue the study of sg-compact spaces, a topological notion much stronger than hereditary compactness. We investigate the relations between sg-compact and $C_2$-spaces and the interrelations to hereditarily…
Covering-based rough set theory is an extension to classical rough set. The main purpose of this paper is to study covering rough sets from a topological point of view. The relationship among upper approximations based on topological spaces…
We characterize the notion of definable compactness for topological spaces definable in o-minimal structures, answering questions of Peterzil and Steinhorn (1999) and Johnson (2018). Specifically, we prove the equivalence of various…
We have studied the concept of bipolarity of information in the soft sets. We have defined bipolar soft sets and basic operations of union, intersection and complementation for bipolar soft sets. Examples of bipolar soft sets and an…
A systematic study of closed classical orbits of the hydrogen atom in crossed electric and magnetic fields is presented. We develop a local bifurcation theory for closed orbits which is analogous to the well-known bifurcation theory for…
In this paper we give a method, based on the characteristic function of a set, to solve some difficult problems of set theory in undergraduate research.
We introduce and study some new uniform structures for Hilbert $C^*$-modules over an algebra $A$. In particular, we prove that in some cases they have the same totally bounded sets. To define one of them, we introduce a new class of…
Given a collection A of holomorphic functions, we consider how to describe all the holomorphic functions locally definable from A. The notion of local definability of holomorphic functions was introduced by Wilkie, who gave a complete…
The local spectrum of a vertex set in a graph has been proven to be very useful to study some of its metric properties. It also has applications in the area of pseudo-distance-regularity around a set and can be used to obtain quasi-spectral…
This note is to indicate the new sphere of applicability of the method developed by Mlak as well as by the author. Restoring those ideas is summoned by current developments concerning $K$-spectral sets on numerical ranges.
The concept of $typed$ $topology$ is introduced. In a typed topological space, some open sets are assigned "types", and topological concepts such as closure, connectedness can be defined using types. A finite data set in $R^2$ is a…
Theories of rough sets and soft sets are powerful mathematical tools for modelling various types of vagueness. Hybrid model combining a rough set with a soft set which is called soft rough set proposed by Feng et al. [3] in 2010. In this…
We study locally compact contractive local groups, that is, locally compact local groups with a contractive pseudo-automorphism. We prove that if such an object is locally connected, then it is locally isomorphic to a Lie group. We also…