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.

A combinatorial problem related to the classical probability

A combinatorial problem related to the classical probability

About a combinatorial problem with $n$ seats and $n$ people

A Probability Method to Prove Combinatorial Identities

Congruences Involving Permutation

Computational complexity of counting coincidences

Combinatorial isoperimetric inequality for the free factor complex

On Permutations of {1,…,n} and Related Topics

Infinite Combinatorics revisited in the absence of Axiom of Choice

A Combinatorial Congruence on Polynomials

New combinatorial identity for the set of partitions and limit theorems in finite free probability theory

On the maximum of the sum of the sizes of non-trivial cross-intersecting families

On various combinatorial sums and related identities

Asymptotic probability for connectedness

A Proof of a Frankl–Kupavskii Conjecture on Intersecting Families

Linear Extension of the Erdos-Heilbronn Conjecture

The maximum measure of non-trivial 3-wise intersecting families

Intersecting sets in probability spaces and Shelah's classification

Linear Extension of the Erdős-Heilbronn Conjecture.

Combinatorial Congruences Modulo Prime Powers

The Combinatorics of Occam's Razor