Arithmetical independence results using higher recursion theory

摘要

We extend an independence result proved in [1]. We show that for all n, there is a special set of Π_n sentences {φ_a}_a ∈ H corresponding to elements of a linear ordering (H,