Related papers: Orders of continuous cancellative triangular subno…
The uninorms with continuous underlying t-norm and t-conorm are characterized via an extended ordinal sum construction. Using the results of [18], where each uninorm with continuous underlying operations was characterized by properties of…
Uninorms with continuous underlying t-norm and t-conorm are discussed and properties of the set of discontinuity points of such a uninorm are shown. This set is proved to be a subset of the graph of a special symmetric, surjective,…
It is shown that the isomorphism relation between continuous t-norms is Borel bireducible with the relation of order isomorphism between linear orders on the set of natural numbers, and therefore, it is a Borel complete equivalence…
This article first introduces the concept of a general pseudo-homogeneous triangular norm. It then gives some properties of general pseudo-homogeneous triangular norms. Finally, it characterizes all general pseudo-homogeneous triangular…
In this paper, we introduce the notion of pseudo-triangular norm (pseudo-t-norm, for short) as a classes of weakly associative operations on trellises and as a generalization of triangular norm (t-norm, for short) on bounded trellises and…
In a triangulated category T with a pair of triangulated subcategories X and Y, one may consider the subcategory of extensions X*Y. We give conditions for X*Y to be triangulated and use them to provide tools for constructing stable…
We study the Borel-reducibility of isomorphism relations of complete first order theories and show the consistency of the following: For all such theories T and T', if T is classifiable and T' is not, then the isomorphism of models of T' is…
A continuous cohomology theory for topological quandles is introduced, and compared to the algebraic theories. Extensions of topological quandles are studied with respect to continuous 2-cocycles, and used to show the differences in second…
In this paper, we extend some classes of structured matrices to higher order tensors. We discuss their relationships with positive semi-definite tensors and some other structured tensors. We show that every principal sub-tensor of such a…
The main result of this paper is that there is an additive equivalence between $\overline{\mathcal{C}}_n$, the Paquette-Yildirim completion of the discrete cluster categories of Dynkin type $A_{\infty}$, and the perfect derived category of…
We define a relation that describes the ternary commutator for congruence modular varieties. Properties of this relation are used to investigate the theory of the higher commutator for congruence modular varieties.
The contour of a family of filters along a filter is a set-theoretic lower limit. Topologicity and regularity of convergences can be characterized with the aid of the contour operation. Contour inversion is studied, in particular, for…
These are classified by the direction of approximation (from above or below), the set family types (partition or covering) of simple functions, the coefficient signature (non-negative or signed), and cardinal number of terms of simple…
We discuss combinatorial conditions for the existence of various types of reductions between equivalence relations, and in particular identify necessary and sufficient conditions for the existence of injective reductions.
We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of…
T-convergence groups is a natural extension of lattice-valued topological groups, which is a newly introduced mathematical structure. In this paper, we will further explore the theory of T-convergence groups. The main results include: (1)…
In this paper, we introduce the notion of a t-norm on bounded pseudo-ordered sets and in particular on bounded trellises (also known as weakly associative lattices), and provide some basic examples. The impact of abandoning transitivity is…
We give a sufficient criterion for a lower bound of the cactus rank of a tensor. Then we refine that criterion in order to be able to give an explicit sufficient condition for a non-redundant decomposition of a tensor to be minimal and…
Equality of the second order arithmetic means of two principal ideals does not imply equality of their first order arithmetic means (second order equality cancellation). We provide fairly broad sufficient conditions on one of the principal…
We present in this paper a universal method of constructing left-continuous triangular norms (l.-c. t-norms). The starting point is an arbitrary, possibly finite, totally ordered monoid fulfilling the conditions that are characteristic for…