Related papers: Completeness properties of transitive binary relat…

This work is a part of an ongoing effort to understand the relationships between properties used in theory combination. We here focus on including two properties that are related to shiny theories: the finite model property and stable…

In this note for a topological group $G$, we introduce a bounded subset of $G$ and we find some relationships of this definition with other topological properties of $G$.

From the method of realization of bialgebras developped in a preceding paper, we obtain the Duality Theorem and apply it to the study of the ideal of relations for each realized bialgebra. This is detailed in the english version of the…

We recover the rays in the tensor product of Hilbert spaces within a larger class of so called `states of compoundness', structured as a complete lattice with the `state of separation' as its top element. At the base of the construction…

We give a combinatorial description of shape theory using finite topological $T_0$-spaces (finite partially ordered sets). This description may lead to a sort of computational shape theory. Then we introduce the notion of core for inverse…

The aim of this paper is to introduce the notion of (noncommutative) transposed Poisson conformal algebras, which serve as the conformal analogues of transposed Poisson algebras and admit a rich class of identities. We show that the tensor…

The notion of a k-automatic set of integers is well-studied. We develop a new notion - the k-automatic set of rational numbers - and prove basic properties of these sets, including closure properties and decidability.

This is Part II of the series of our papers under the title "Toward resolution of singularities over a field of positive characteristic (The Idealistic Filtration Program)". See http://arxiv.org/abs/math/0607009 for Part I.

Whether explicit or implicit, sets are a critical part of many pieces of software. As a result, it is necessary to develop abstractions of sets for the purposes of abstract interpretation, model checking, and deductive verification.…

In this paper we have shown that a double sequence in a topological space satisfies certain conditions which in turn are capable to generate a topology on a non empty set. Also we have used the idea of I-convergence of double sequences to…

We introduce a new type of means. It is new in two ways: its domain consists of sets and its values are sets too. We investigate the properties and behavior of such generalization. We also present many naturally arisen examples for such…

In this paper, we consider central complete and incomplete Bell polynomials which are generalizations of the recently introduced central Bell polynomials and central analogues for the complete and incomplete Bell polynomials. We investigate…

Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision problems. A particular focus of research has been the…

This paper explores the finiteness of the solution set of the polynomial complementarity problem (PCP). To achieve this goal, we introduce two new classes of structured tensor tuples, namely the nondegenerate tensor tuple and the strong…

We study different types of transitive points in CR-dynamical systems (X,G) with closed relations G on compact metric spaces X. We also introduce transitive and dense orbit transitive CR-dynamical systems and discuss their properties and…

We present a unified approach, based on dominating families in binary relations, for the study of topological properties defined in terms of selection principles and the games associated to them.

The theory of descriptive nearness is usually adopted when dealing with sets that share some common properties even when the sets are not spatially close, i.e., the sets have no members in common. Set description results from the use of…

In this paper, the notion of convexity of picture fuzzy multisets was introduced and some of their properties were presented after studying the concept of picture fuzzy multisets.

The purpose of this paper is to define some notions of movability for morphisms of inverse systems which extend the movability properties of inverse systems and which are compatible with the equivalence relations which define pro-morphisms…

This paper studies various completeness properties of the open-point and bi-point-open topologies on the space C(X) of all real-valued continuous functions on a Tychonoff space X. The properties range from complete metrizability to the…