In the present paper, based on the concept of fuzzy entropy, an exponential intuitionistic fuzzy entropy measure is proposed in the setting of Atanassov's intuitionistic fuzzy set theory. This measure is a generalized version of exponential fuzzy entropy proposed by Pal and Pal. A connection between exponential fuzzy entropy and exponential intuitionistic fuzzy entropy is also established. Some interesting properties of this measure are analyzed. Finally, a numerical example is given to show that...

In the first part of this article we formalize the concepts of terminal and initial object, categorical product [4] and natural transformation within a free-object category [1]. In particular, we show that this definition of natural transformation is equivalent to the standard definition [13]. Then we introduce the exponential object using its universal property and we show the isomorphism between the exponential object of categories and the functor category [12].

We define and compare, by model-theoretical methods, some exponentiations over the quantum algebra $U_q\left(s{l}_2\left(ℂ\right)\right)$. We discuss two cases, according to whether the parameter $q$ is a root of unity. We show that the universal enveloping algebra of $s{l}_2\left(ℂ\right)$ embeds in a non-principal ultraproduct of $U_q\left(s{l}_2\left(ℂ\right)\right)$, where $q$ varies over the primitive roots of unity.

In this article we introduce the convergence of extended realvalued double sequences [16], [17]. It is similar to our previous articles [15], [10]. In addition, we also prove Fatou’s lemma and the monotone convergence theorem for double sequences.

Letg:U→ℝ (U open in ℝn) be an analytic and K-subanalytic (i. e. definable in ℝanK, whereK, the field of exponents, is any subfield ofℝ) function. Then the set of points, denoted Σ, whereg does not admit an analytic extension is K-subanalytic andg can be extended analytically to a neighbourhood of Ū.

In [4] it is proved that a measure on a finite coarse-grained space extends, as a signed measure, over the entire power algebra. In [7] this result is reproved and further improved. Both the articles [4] and [7] use the proof techniques of linear spaces (i.e. they use multiplication by real scalars). In this note we show that all the results cited above can be relatively easily obtained by the Horn-Tarski extension technique in a purely combinatorial manner. We also characterize the pure measures...

We investigate several extension properties of Fréchet differentiable functions defined on closed sets for o-minimal expansions of real closed fields.

We study the extensibility of piecewise polynomial functions defined on closed subsets of ${ℝ}^2$ to all of ${ℝ}^2$. The compact subsets of ${ℝ}^2$ on which every piecewise polynomial function is extensible to ${ℝ}^2$ can be characterized in terms of local quasi-convexity if they are definable in an o-minimal expansion of $ℝ$. Even the noncompact closed definable subsets can be characterized if semialgebraic function germs at infinity are dense in the Hardy field of definable germs. We also present a piecewise polynomial...

An Open Coloring Axiom type principle is formulated for uncountable cardinals and is shown to be a consequence of the Proper Forcing Axiom. Several applications are found. We also study dense C*-embedded subspaces of ω*, showing that there can be such sets of cardinality $c$ and that it is consistent that ω*{pis C*-embedded for some but not all p ∈ ω*.

We define H- and EH-expressions as extensions of regular expressions by adding homomorphic and iterated homomorphic replacement as new operations, resp. The definition is analogous to the extension given by Gruska in order to characterize context-free languages. We compare the families of languages obtained by these extensions with the families of regular, linear context-free, context-free, and EDT0L languages. Moreover, relations to language families based on patterns, multi-patterns,...

We extend a result of M. Tamm as follows:Let $f:A\to ℝ,A\subseteq {ℝ}^{m+n}$, be definable in the ordered field of real numbers augmented by all real analytic functions on compact boxes and all power functions $x\mapsto x^r:(0,\infty )\to ℝ,r\in ℝ$. Then there exists $N\in \mathbb{N}$ such that for all $(a,b)\in A$, if $y\mapsto f(a,y)$ is $C^N$ in a neighborhood of $b$, then $y\mapsto f(a,y)$ is real analytic in a neighborhood of $b$.

The monotone expectation is defined as a functional over fuzzy measures on finite sets. The functional is based on Choquet functional over capacities and its more relevant properties are proved, including the generalization of classical mathematical expectation and Dempster's upper and lower expectations of an evidence. In second place, the monotone expectation is used to define measures of fuzzy sets. Such measures are compared with the ones based on Sugeno integral. Finally, we prove a generalization...

A classical theorem of Kuratowski says that every Baire one function on a $G_{\delta }$ subspace of a Polish (= separable completely metrizable) space X can be extended to a Baire one function on X. Kechris and Louveau introduced a finer gradation of Baire one functions into small Baire classes. A Baire one function f is assigned into a class in this hierarchy depending on its oscillation index β(f). We prove a refinement of Kuratowski’s theorem: if Y is a subspace of a metric space X and f is a real-valued...