Some problems in automata theory which depend on the models of set theory Olivier Finkel RAIRO-Theor. Inf. Appl., 45 4 (2011) 383-397 Published online: 03 October 2011 DOI: 10.1051/ita/2011113