It is shown that for every 1 ≤ ξ < ω, two subspaces of the Schreier space $X^{\xi }$ generated by subsequences $\left(e_{l_n}^{\xi }\right)$ and $\left(e_{m_n}^{\xi }\right)$, respectively, of the natural Schauder basis $\left(e_n^{\xi }\right)$ of $X^{\xi }$ are isomorphic if and only if $\left(e_{l_n}^{\xi }\right)$ and $\left(e_{m_n}^{\xi }\right)$ are equivalent. Further, $X^{\xi }$ admits a continuum of mutually incomparable complemented subspaces spanned by subsequences of $\left(e_n^{\xi }\right)$. It is also shown that there exists a complemented subspace spanned by a block basis of $\left(e_n^{\xi }\right)$, which is not isomorphic to a subspace generated by a subsequence of $\left(e_n^{\zeta }\right)$, for every $0\le \zeta \le \xi$....

Let (X,τ) be a countable topological space. We say that τ is an analytic (resp. Borel) topology if τ as a subset of the Cantor set $2^X$ (via characteristic functions) is an analytic (resp. Borel) set. For example, the topology of the Arkhangel’skiĭ-Franklin space $S_{\omega }$ is $F_{\sigma \delta }$. In this paper we study the complexity, in the sense of the Borel hierarchy, of subspaces of $S_{\omega }$. We show that $S_{\omega }$ has subspaces with topologies of arbitrarily high Borel rank and it also has subspaces with a non-Borel topology. Moreover,...

Let $M$ be the set of all Dirichlet measures on the unit circle. We prove that $M+M$ is a non Borel analytic set for the weak* topology and that $M+M$ is not norm-closed. More precisely, we prove that there is no weak* Borel set which separates $M+M$ from $D^{\perp }$ (or even $L_0^{\perp })$, the set of all measures singular with respect to every measure in $M$. This extends results of Kaufman, Kechris and Lyons about $D^{\perp }$ and $H^{\perp }$ and gives many examples of non Borel analytic sets.

Recently, the topic of construction methods for triangular norms (triangular conorms), uninorms, nullnorms, etc. has been studied widely. In this paper, we propose construction methods for triangular norms (t-norms) and triangular conorms (t-conorms) on bounded lattices by using interior and closure operators, respectively. Thus, we obtain some proposed methods given by Ertuğrul, Karaçal, Mesiar [15] and Çaylı [8] as results. Also, we give some illustrative examples. Finally, we conclude that the...

Recently, the topic related to the construction of triangular norms and triangular conorms on bounded lattices using ordinal sums has been extensively studied. In this paper, we introduce a new ordinal sum construction of triangular norms and triangular conorms on an appropriate bounded lattice. Also, we give some illustrative examples for clarity. Then, we show that a new construction method can be generalized by induction to a modified ordinal sum for triangular norms and triangular conorms on...

Let X be a nonempty set of cardinality at most $2^{\aleph ₀}$ and T be a selfmap of X. Our main theorem says that if each periodic point of T is a fixed point under T, and T has a fixed point, then there exist a metric d on X and a lower semicontinuous map ϕ :X→ ℝ ₊ such that d(x,Tx) ≤ ϕ(x) - ϕ(Tx) for all x∈ X, and (X,d) is separable. Assuming CH (the Continuum Hypothesis), we deduce that (X,d) is compact.

On every subspace of $l_{\infty }\left(\mathbb{N}\right)$ which contains an uncountable $\omega$-independent set, we construct equivalent norms whose Banach-Mazur distance is as large as required. Under Martin’s Maximum Axiom (MM), it follows that the Banach-Mazur diameter of the set of equivalent norms on every infinite-dimensional subspace of $l_{\infty }\left(\mathbb{N}\right)$ is infinite. This provides a partial answer to a question asked by Johnson and Odell.

If an atomlessly measurable cardinal exists, then the class of Lebesgue measurable functions, the class of Borel functions, and the Baire classes of all orders have the difference property. This gives a consistent positive answer to Laczkovich's Problem 2 [Acta Math. Acad. Sci. Hungar. 35 (1980)]. We also give a complete positive answer to Laczkovich's Problem 3 concerning Borel functions with Baire-α differences.

In this paper, we study on the direct product of uninorms on bounded lattices. Also, we define an order induced by uninorms which are a direct product of two uninorms on bounded lattices and properties of introduced order are deeply investigated. Moreover, we obtain some results concerning orders induced by uninorms acting on the unit interval $[0,1]$.

It is consistent with the axioms of set theory that there are two co-dense partial orders, one of them $\sigma$-closed and the other one without a $\sigma$-closed dense subset.

In ZF (i.e. Zermelo-Fraenkel set theory without the Axiom of Choice AC), we investigate the relationship between UF(ω) (there exists a free ultrafilter on ω) and the statements "there exists a free ultrafilter on every Russell-set" and "there exists a Russell-set A and a free ultrafilter ℱ on A". We establish the following results: 1. UF(ω) implies that there exists a free ultrafilter on every Russell-set. The implication is not reversible in ZF. 2. The statement...

Uno de los problemas abiertos más antiguos de la teoría de grupos categórica es si todo par ortogonal (formado por una clase de grupos y una clase de homomorfismos que se determinan mutuamente por ortogonalidad en el sentido de Freyd-Kelly), se halla asociado a un funtor de localización. Se sabe que esto es cierto si se acepta la validez de un cierto axioma de cardinales grandes (el principio de Vopenka), pero no se conoce ninguna demostración mediante los axiomas ordinarios (ZFC) de la teoría de...