Related papers: A generalized Cantor theorem in ZF

A partition is finitary if all its members are finite. For a set $A$, $\mathscr{B}(A)$ denotes the set of all finitary partitions of $A$. It is shown consistent with $\mathsf{ZF}$ (without the axiom of choice) that there exist an infinite…

We offer a new proof (and review some known proofs) of Cantor's Powerset Theorem (1891), which concerns the non-existence of a surjective function from a set onto its powerset.

It is shown that the existence of an infinite set $A$ such that $A^2$ maps onto $2^A$ is consistent with $\mathsf{ZF}$.

We investigate the provability of classical combinatorial theorems in ZF. Using combinatorial arguments, we establish the following results for each infinite cardinal ${\kappa}\in On$, (1) ${\kappa}^+\to ({\kappa},{\omega}+1)$, (2) any…

We show that in Zermelo-Fraenkel Set Theory without the Axiom of Choice a surjectively modified continuum function $\theta(\kappa)$ can take almost arbitrary values for all infinite cardinals. This choiceless version of Easton's Theorem is…

Using the notion of proper Cantor colorings we prove the following theorem. For any countably infinite group $\Gamma$, there exists a free continuous action $\zeta: \Gamma \curvearrowright C$ on the Cantor set, which is universal in the…

A digraph $D=\langle V,E\rangle$ ($E\subset V\times V$) is Cantor if Cantor's theorem - for no set there is a surjection from it to its power set - holds in $D$, in the sense we explain. We construct a ZF formula $\varphi$ with length $494$…

A Cantor set is a non-empty, compact set that has neither interior nor isolated points. In this paper a Cantor set $K\subseteq \mathbb{R}$ is constructed such that every set definable in $(\mathbb{R},<,+,\cdot,K)$ is Borel. In addition, we…

We prove that for an arbitrary subtree $T$ of $2^{<\omega}$ with each element extendable to a path, a given countable class $\mathcal{M}$ closed under disjoint union, and any set $A$, if none of the members of $\mathcal{M}$ strongly…

By Easton's theorem one can force the exponential function on regular cardinals to take rather arbitrary cardinal values provided monotonicity and Koenig's lemma are respected. In models without choice we employ a "surjective" version of…

For a set $x$, let $\mathcal{S}(x)$ be the set of all permutations of $x$. We study several aspects of this notion in $\mathsf{ZF}$. The main results are as follows: (1) $\mathsf{ZF}$ proves that for all sets $x$, if $\mathcal{S}(x)$ is…

Cantor's famous proof of the non-denumerability of real numbers does apply to any infinite set. The set of exclusively all natural numbers does not exist. This shows that the concept of countability is not well defined. There remains no…

We consider the generalized Egorov's statement (Egorov's Theorem without the assumption on measurability of the functions, see \cite{tw:nget}) in the case of an ideal convergence and a number of different types of ideal convergence notion.…

We present a new proof of the Joints Theorem without taking derivatives. Then we generalize the proof to prove the Multijoints Conjecture and Carbery's generalization. All results are in any dimension over an arbitrary field.

We show in ZFC that there is no set of reals of size continuum which can be translated away from every set in the Marczewski ideal. We also show that in the Cohen model, every set with this property is countable.

We prove that Global Choice is not conservative over ZC and that ZF $-$ Union does not prove existence of $x \cup y$ for all $x$ and $y$. Each proof is by constructing a pathological model inside a symmetric extension of $L.$

This work presents theorems which state (i) Z is a proper subset for any bijection f between A and Z, where Z is contained in P(A), A is a non-finite set and |Z|=|A|, and (ii) being Z a proper subset of P(A) nothing affirms or denies that…

Using iterated Sacks forcing and topological games, we prove that the existence of a totally imperfect Menger set in the Cantor cube with cardinality continuum is independent from ZFC. We also analyze the structure of Hurewicz and consonant…

For an infinite set $X$, a closed under finite unions family $\mathcal{Z}$ with $[X]^{<\omega}\subseteq\mathcal{Z}\subseteq\mathcal{P}(X)$, and any $\mathcal{A}\subseteq\mathcal{P}(X)$, the topology…

We will prove that there exists a model of ZFC+``c= omega_2'' in which every M subseteq R of cardinality less than continuum c is meager, and such that for every X subseteq R of cardinality c there exists a continuous function f:R-> R with…