hyperarithmetic造句
例句與造句
- Every recursively enumerable ( or even hyperarithmetic ) nonempty subset of this total ordering has a least element.
- Thus the hyperarithmetic hierarchy is studied instead of the Borel hierarchy, and the analytical hierarchy instead of the projective hierarchy.
- The central focus of hyperarithmetic theory is the sets of natural numbers known as "'hyperarithmetic sets " '.
- The central focus of hyperarithmetic theory is the sets of natural numbers known as "'hyperarithmetic sets " '.
- The jump can be iterated into transfinite ordinals : the sets for, where is the Church-Kleene ordinal, are closely related to the hyperarithmetic hierarchy.
- It's difficult to find hyperarithmetic in a sentence. 用hyperarithmetic造句挺難的
- This produces that hyperarithmetic hierarchy, which is the lightface analog of the Borel hierarchy . ( The finite levels of the hyperarithmetic hierarchy are known as the arithmetical hierarchy .)
- This produces that hyperarithmetic hierarchy, which is the lightface analog of the Borel hierarchy . ( The finite levels of the hyperarithmetic hierarchy are known as the arithmetical hierarchy .)
- For instance the x \ in \ mathbb { R } satisfying \ forall ( n \ in \ omega ) \ phi ( x, n ) with \ phi ( x, n ) quantifier free must be computable while the unique x \ in \ omega ^ { \ omega } satisfying a universal formula can be arbitrarily high in the hyperarithmetic hierarchy.