Automatic Forcing and Genericity: On the Diagonalization Strength of Finite Automata.

Klaus Ambos-Spies Edgar Busse Automatic Forcing and Genericity: On the Diagonalization Strength of Finite Automata. 97-108 2003 conf/dmtcs/2003 DMTCS http://link.springer.de/link/service/series/0558/bibs/2731/27310097.htm db/conf/dmtcs/dmtcs2003.html#Ambos-SpiesB03