Journal: Math. Log. Q.