1) hyperarithmetical relation
超算术关系
2) arithmetic relation
算术关系
3) hyperarithmetical hierarchy
超算术谱系
4) arithmetical ultrafilter
算术超滤
1.
Each nonprincipal arithmetical ultrafilter p∈βω-ω is associated with a simple arithmetical model Np = {f(p) : f∈ω) N, and a positive real number is just an equivalence class of finite fractions made by arithmetical ultrafilters (instead of natural numbers), just like the ancient Greek s idea.
每个非主算术超滤p∈βω-ω都可用来形成一个简单的不可数算术模型Np= {f(p):f∈ωω}N。
2.
Taylor in their paper “Partition theorem and ultrafilters”(Transactions of the American Mathematical Society, 1978, 241:290), it is shown that the product of two incompatible arrow P points is an arithmetical ultrafilter.
Taylor在“剖分定理与超滤”一文 (该文发表在杂志TransactionsoftheAmericanMathematicalSociety ,1 978,2 41 :2 90 )中提出的一个问题的肯定结果 ,即两个不相容矢性P 点之积一定是算术超滤积 。
5) hyperarithmetical
[,haipərəriθ'metikəl]
超算术的
6) hyperarithmetic
超算术
补充资料：经济关系(见生产关系)
经济关系(见生产关系)
economical relation
1 ingji gU口nxj经济关系(eeonomieal relation)系。见生产关
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条