Journal: J. Logic & Analysis