hyperarithmetic
基本释义:
超算术
网络释义
1)hyperarithmetic,超算术
2)arithmetical ultrafilter,算术超滤
3)hyperarithmetical
[,haip?r?riθ'metik?l],超算术的
4)hyperarithmetic set,超算术集
5)hyperarithmetical relation,超算术关系
6)hyperarithmetical hierarchy,超算术谱系
用法和例句
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。
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 点之积一定是算术超滤积 。
-
hyperarithmetical
精品项目网为您提供超算术的hyperarithmetical是什么意思,hyperarithmetical翻译,hyperarithmetical例句,hyperarithmetical用法等有关,hyperarithmetical单词知识大全供您查询使用!...
-
hyperarithmetical relation
精品项目网为您提供超算术关系hyperarithmetical relation是什么意思,hyperarithmetical relation翻译,hyperarithmetical relation例句,hyperarithmetical relation用法等有关,hyperarithmetical relation单词知识大全供您查询使用!...
-
formal adjoint
精品项目网为您提供伴随形式formal adjoint是什么意思,formal adjoint翻译,formal adjoint例句,formal adjoint用法等有关,formal adjoint单词知识大全供您查询使用!...
-
essential undecidability
精品项目网为您提供本质不可判定性essential undecidability是什么意思,essential undecidability翻译,essential undecidability例句,essential undecidability用法等有关,essential undecidability单词知识大全供您查询使用!...