Tuschik Hans Peter
A reduction of a problem about ω1-categoricity