Solution of a problem of A. Ehrenfeucht and J. Mycielski
scientific article; zbMATH DE number 3453610