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 counterexample related to a theorem of Komjath and Weiss

A Full-Invariant Theorem and Some Applications

Two Counterexamples Concerning the Scott Topology on a Partial Order

An Example of Countable Hausdorff Topological Space with Non-sequential Compactness

Some counterexamples in abstract coarse geometry

A counterexample to the Karvatskyi--Pratsiovytyi conjecture concerning the achievement set of an intermediate series

Infinite Combinatorics revisited in the absence of Axiom of Choice

T 0 -spaces and the lower topology

Thom's counterexamples for the Steenrod problem

On the product of almost discrete Grothendieck spaces

Exactly $n$-resolvable Topological Expansions

Coarser Compact Topologies

A combinatorial description of topological complexity for finite spaces

Counterexamples to generalizations of the Erdős $B+B+t$ problem

Weakly and Strongly Reversible Spaces

A counterexample to Hildebrand's conjecture on stable sets

Compactness and Symmetric Well Orders

The Ginsburg--Sands theorem and computability theory

A Counterexample to Infinite-Dimensional Version of the Morse-Sard Theorem

A solution to the first Lawvere's problem A Grothendieck topos that has a proper class many quotient topoi