combinatorics / Set Theory, Infinite Combinatorics
Let $X$ be a set of cardinality $\aleph_\omega$ and $f$ a function from the finite subsets of $X$ to $X$ such that $f(A)\not\in A$ for all $A$. Must there exist an infinite independent $Y\subseteq X$, i.e. with $f(B)\not\in Y$ for all finite $B\subset Y$? Claimed resolution: the positive assertion is equivalent to Koepke's free-subset property, hence independent of ZFC, with consistency strength exactly a measurable cardinal.
Temporal state
No reconciled state yet.
Append-only history
Resolved (if correct) by an independence result rather than a proof or disproof in ZFC: consistency of the positive answer is equivalent to a measurable cardinal, of the negative to ZFC alone
Research memory
Let $X$ be a set of cardinality $\aleph_\omega$ and $f$ a function from the finite subsets of $X$ to $X$ such that $f(A)\not\in A$ for all $A$. Must there exist an infinite independent $Y\subseteq X$, i.e. with $f(B)\not\in Y$ for all finite $B\subset Y$? Claimed resolution: the positive assertion is equivalent to Koepke's free-subset property, hence independent of ZFC, with consistency strength exactly a measurable cardinal.
Resolved (if correct) by an independence result rather than a proof or disproof in ZFC: consistency of the positive answer is equivalent to a measurable cardinal, of the negative to ZFC alone
Evidence graph
No public relationships recorded yet.