lightface造句
例句與造句
- Each lightface Borel set has infinitely many distinct codes.
- It includes the study of lightface pointclasses, and is closely related to hyperarithmetical theory.
- In particular, it focuses on lightface analogues of hierarchies of classical descriptive set theory.
- The lightface Borel hierarchy extends the arithmetical hierarchy of subsets of an effective Polish space.
- \Delta ^ 1 _ 2 ( lightface ) determinacy is equiconsistent with a Woodin cardinal.
- It's difficult to find lightface in a sentence. 用lightface造句挺難的
- This is the origin of the Church-Kleene ordinal in the definition of the lightface hierarchy.
- The Greek letters here are lightface symbols, which indicates that the formulas do not contain set parameters.
- In fact, the strategy for a universal lightface analytic game has the same Turing degree as 0 #.
- The "'lightface Borel hierarchy "'is an effective version of the boldface Borel hierarchy.
- A code for a lightface Borel set gives complete information about how to recover the set from sets of smaller rank.
- This relationship between lightface sets and their indices is used to extend the lightface Borel hierarchy into the transfinite, via recursive ordinals.
- This relationship between lightface sets and their indices is used to extend the lightface Borel hierarchy into the transfinite, via recursive ordinals.
- Donald A . Martin and Leo Harrington have shown that the existence of 0 # is equivalent to the determinacy of lightface analytic games.
- A set is lightface \ Pi ^ 0 _ 1 if it is the complement of a \ Sigma ^ 0 _ 1 set.
- :First of all, to be clear, only the italic lightface portion of the question above is a quote from Open market operation.
更多例句: 下一頁