Minimal Hausdorff (Baire) group topologies of certain groups of transformations naturally occurring in analysis are studied. The results obtained are subsequently applied to show that, e.g., the homeomorphism groups of the rational and of the irrational numbers carry no Polish group topology. In answer to a question of A. S. Kechris it is shown that the group of Borel automorphisms of ℝ cannot be a Polish group either.

If κ is either supercompact or strong and δ < κ is α strong or α supercompact for every α < κ, then it is known δ must be (fully) strong or supercompact. We show this is not necessarily the case if κ is strongly compact.

Motivated by the paper by H. Herrlich, E. Tachtsis (2017) we investigate in ZFC the following compactness question: for which uncountable cardinals $\kappa$, an arbitrary nonempty system $S$ of homogeneous $\mathbb{Z}$-linear equations is nontrivially solvable in $\mathbb{Z}$ provided that each of its subsystems of cardinality less than $\kappa$ is nontrivially solvable in $\mathbb{Z}$?

Many discussions have been made on the problem of(i) What are Fuzzy Sets?since the origin of the theory. Due to the structure of Fuzzy Sets the first impression that many people have is that Fuzzy Sets are the distribution of a probability. Recent developments of many theories of uncertainty measures (belief functions, possibility and fuzzy measures, capacities) can make also think that a Fuzzy Set is the distribution of an uncertainty measure. Other problems arising inside the theory of Fuzzy Sets...

We study the number of non-isomorphic subspaces of a given Banach space. Our main result is the following. Let be a Banach space with an unconditional basis ${\left(e_i\right)}_{i\in \mathbb{N}}$; then either there exists a perfect set P of infinite subsets of ℕ such that for any two distinct A,B ∈ P, ${\left[e_i\right]}_{i\in A}\ncong {\left[e_i\right]}_{i\in B}$, or for a residual set of infinite subsets A of ℕ, ${\left[e_i\right]}_{i\in A}$ is isomorphic to , and in that case, is isomorphic to its square, to its hyperplanes, uniformly isomorphic to $\oplus {\left[e_i\right]}_{i\in D}$ for any D ⊂ ℕ, and isomorphic to a denumerable Schauder decomposition...

The following question is analyzed under the assumption that the Axiom of Choice fails badly: Given a countable number of pairs of socks, then how many socks are there? Surprisingly this number is not uniquely determined by the above information, thus giving rise to the concept of Russell-cardinals. It will be shown that: • some Russell-cardinals are even, but others fail to be so; • no Russell-cardinal is odd; • no Russell-cardinal is comparable with any cardinal of the form ${\aleph }_{\alpha }$ or $2^{{\aleph }_{\alpha }}$; • finite sums...

We modify a game due to Berner and Juhász to get what we call “the open-open game (of length ω)”: a round consists of player I choosing a nonempty open subset of a space X and II choosing a nonempty open subset of I’s choice; I wins if the union of II’s open sets is dense in X, otherwise II wins. This game is of interest for ccc spaces. It can be translated into a game on partial orders (trees and Boolean algebras, for example). We present basic results and various conditions under which I or II...

A theorem is proved which could be considered as a bridge between the combinatorics which have a beginning in the dyadic spaces theory and the partition calculus.

We investigate, in set theory without the Axiom of Choice , the set-theoretic strength of the statement Q(n): For every infinite set X, the Tychonoff product $2^X$, where 2 = 0,1 has the discrete topology, is n-compact, where n = 2,3,4,5 (definitions are given in Section 1). We establish the following results: (1) For n = 3,4,5, Q(n) is, in (Zermelo-Fraenkel set theory minus ), equivalent to the Boolean Prime Ideal Theorem , whereas (2) Q(2) is strictly weaker than in set theory (Zermelo-Fraenkel set...

We investigate the question whether a system ${\left(E_i\right)}_{i\in I}$ of homogeneous linear equations over $\mathbb{Z}$ is non-trivially solvable in $\mathbb{Z}$ provided that each subsystem ${\left(E_j\right)}_{j\in J}$ with $\left|J\right|\le c$ is non-trivially solvable in $\mathbb{Z}$ where $c$ is a fixed cardinal number such that $c<\left|I\right|$. Among other results, we establish the following. (a) The answer is ‘No’ in the finite case (i.e., $I$ being finite). (b) The answer is ‘No’ in the denumerable case (i.e., $\left|I\right|={\aleph }_0$ and $c$ a natural number). (c) The answer in case that $I$ is uncountable and $c\le {\aleph }_0$ is ‘No relatively consistent...