On the complexity of H sets of the unit circle
On the complexity of subspaces of
Let (X,τ) be a countable topological space. We say that τ is an analytic (resp. Borel) topology if τ as a subset of the Cantor set (via characteristic functions) is an analytic (resp. Borel) set. For example, the topology of the Arkhangel’skiĭ-Franklin space is . In this paper we study the complexity, in the sense of the Borel hierarchy, of subspaces of . We show that has subspaces with topologies of arbitrarily high Borel rank and it also has subspaces with a non-Borel topology. Moreover,...
On the complexity of sums of Dirichlet measures
Let be the set of all Dirichlet measures on the unit circle. We prove that is a non Borel analytic set for the weak* topology and that is not norm-closed. More precisely, we prove that there is no weak* Borel set which separates from (or even , the set of all measures singular with respect to every measure in . This extends results of Kaufman, Kechris and Lyons about and and gives many examples of non Borel analytic sets.
On the consistency of the generalized continuum hypothesis.
On the consistency of the generalized continuum hypothesis [Book]
On the construction of t-norms (t-conorms) by using interior (closure) operator on bounded lattices
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...
On the constructions of t-norms and t-conorms on some special classes of bounded lattices
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...
On the Convenient Setting for Real Analytic Mappings.
On the Converse of Caristi's Fixed Point Theorem
Let X be a nonempty set of cardinality at most 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 the descriptive sot theory of the lexicographic square
On the diameter of the Banach-Mazur set
On every subspace of which contains an uncountable -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 is infinite. This provides a partial answer to a question asked by Johnson and Odell.
On the difference property of Borel measurable functions
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.
On the direct product of uninorms on bounded lattices
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 .
On the equiponderate equation and a representation of weight quadruplets.
On the equivalence between CH and the existence of certain -Luzin subsets of .
On the existence of a -closed dense subset
It is consistent with the axioms of set theory that there are two co-dense partial orders, one of them -closed and the other one without a -closed dense subset.
On the existence of factor sets by external equivalences in IST.
On the Existence of Free Ultrafilters on ω and on Russell-sets in ZF
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...
On the existence of group localizations under large-cardinal axioms.
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...
On the existence of maps having graphs connected and dense