Maxim Vsemirnov The Woods-Erdös conjecture for polynomial rings. 331-344 2001 113 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal113.html#Vsemirnov01