# arithmetic hierarchyの例文

- For finite, these sets are closely related to the
*arithmetic hierarchy*. - So far down in the
*arithmetic hierarchy*, and that goes for any recursively axiomatized ( countable, consistent ) theories. - This classic proof is a very early, original application of the
*arithmetic hierarchy* theory to a general-logical problem. - Note that we can also define the
*arithmetic hierarchy* of subsets of the Cantor and Baire spaces relative to some set of integers. - Note that while both the elements of the Cantor space ( regarded as sets of integers ) and subsets of the Cantor space are classified in
*arithmetic hierarchies*, these are not the same hierarchy.