Abstract: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 family $\mathcal A\subset [{On}]^{<{\omega}}$ of size ${\kappa}^+$ contains a $\Delta$-system of size ${\kappa}$, (3) given a set mapping $F:{\kappa}\to {[{\kappa}]}^{<{\omega}}$, the set ${\kappa}$ has a partition into ${\omega}$-many $F$-free sets, By employing Karagila's method of absoluteness, we prove the following for each uncountable cardinal ${\kappa}\in On$, (4) given a set mapping $F:{\kappa}\to {[{\kappa}^]}^{<{\omega}}$, there is an $F$-free set of cardinality ${\kappa}$, (5) for each natural number $n$, every family $\mathcal A\subset {[{\kappa}]}^{\omega}$with $|A\cap B|\le n$ for $\{A,B\}\in {[\mathcal A]}^{2}$ has property $B$, In contrast to (5), we show that the following statement is not provable from ZF + $cf({\omega}_1)={\omega}_1$: (6*) every family $\mathcal A\subset {[{\omega}_1]}^{\omega}$ with $|A\cap B|\le 1$ for $\{A,B\}\in {[\mathcal A]}^{2}$ is "essentially disjoint" . The following statements are not provable in ZF, but they are equivalent in ZF: (i) $cf({\omega}_1)={\omega}_1$, (ii) ${\omega}_1\to ({\omega}_1,{\omega}+1)^2$, (iii) any family $\mathcal A\subset [{On}]^{<{\omega}}$ of size ${\omega}_1$ contains a $\Delta$-system of size ${\omega}_1$. A function $f$ is a "uniform denumeration on ${\omega}_1$" iff $dom(f)={\omega}_1$ and for every ${\alpha}<{\omega}_1$, $f({\alpha})$ is a function from ${\omega}$ onto ${\alpha}$. It is evident that the existence of a uniform denumeration of ${\omega}_1$ implies $cf({\omega}_1)={\omega}_1$. We prove that the failure of the reverse implication is equiconsistent with the existence of an inaccessible cardinal.

Debunking Cantor: New Set-Theoretical and Logical Considerations

Theological reasoning of Cantor's set theory

Three beliefs that lend illusory legitimacy to Cantor's diagonal argument

The Cantor–Bernstein theorem: how many proofs?

Big in Reverse Mathematics: the uncountability of the real numbers

Bolzano's Conjecture: Measuring the Numerosity of Infinite Sets

A Geometric Proof to Cantor's Theorem and an Irrationality Measure for Some Cantor's Series

On a Conjecture of Cusick on a sum of Cantor sets

Gödel's Program in Set Theory

Sums of powers, and products of elements of the middle third Cantor set

Exact dimensions of the prime continued fraction Cantor set

A Generalization of the Cantor-Dedekind Continuum with Nilpotent Infinitesimals

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem

Cantor's theorem may fail for finitary partitions

Some Remarks on the Hausdorff Measure of the Cantor Set

Exact dimension functions of the prime continued fraction Cantor set

¿CUÁL ES LA CANTIDAD TRANSFINITA POSIBLE DE DÍGITOS POSTERIORES AL PUNTO DECIMAL QUE CONFORMAN LA EXPANSIÓN DE UN NÚMERO TRASCENDENTE?

Metric Results on Sumsets and Cartesian Products of Classes of Diophantine Sets

Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics

Discussion On The Application Of Diagonal Rule In Theoretical Computer Science

Infinite Combinatorics revisited in the absence of Axiom of Choice