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.

The consistency of 2^{aleph_{0}}> aleph_{omega} + I(aleph_{2})=I(aleph_{omega})

The relative consistency of g<cf(Sym(omega))

Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice

Dense ideals

On the consistency of ZF with an elementary embedding from $V_{λ+2}$ into $V_{λ+2}$

On the consistency of ZF with an elementary embedding from into

On the Consistency Strength of MM($ω_1$)

There is No Standard Model of ZFC and ZFC_2 with Henkin semantics.Generalized Lob's Theorem.Strong Reflection Principles and Large Cardinal Axioms.Consistency Results in Topology

Reflection and Recurrence

Natural Colors of Infinite Words

A general tool for consistency results related to I1

Omni-Lie Color Algebras and Lie Color 2-Algebras

Infinite Combinatorics revisited in the absence of Axiom of Choice

Are $\mathfrak a$ and $\mathfrak d$ your cup of tea? Revisited

The proper forcing axiom for $\aleph_1$-sized posets, Příkrý-type proper forcing, and the size of the continuum

Owings-like theorems for infinitely many colours or finite monochromatic sets

Shelah's conjecture fails for higher cardinalities

More on cardinal invariants of Boolean algebras

On cardinalities in quotients of inverse limits of groups

Large cardinals, structural reflection, and the HOD Conjecture

Cardinal invariants concerning functions whose sum is almost continuous