Bar induction and \(\omega\) model reflection
scientific article; zbMATH DE number 1340823